Metamath Proof Explorer


Syntax definition crsp

Description: Ring span function.

Ref Expression
Assertion crsp class RSpan