Metamath Proof Explorer

Syntax definition crsp

Description: Ring span function.

Ref Expression
Assertion crsp 
class RSpan