Database
BASIC ALGEBRAIC STRUCTURES
Subring algebras and ideals
Left ideals and spans
crsp
Next ⟩
df-lidl
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
crsp
Description:
Ring span function.
Ref
Expression
Assertion
crsp
class
RSpan