Database
BASIC ALGEBRAIC STRUCTURES
Subring algebras and ideals
Left ideals and spans
clidl
Next ⟩
crsp
Metamath Proof Explorer
Unicode
Structured
Syntax definition
clidl
Description:
Ring left-ideal function.
Ref
Expression
Assertion
clidl
class LIdeal