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