Database
BASIC ALGEBRAIC STRUCTURES
Ideals
The subring algebra; ideals
clidl
Next ⟩
crsp
Metamath Proof Explorer
Ascii
Structured
Syntax definition
clidl
Description:
Ring left-ideal function.
Ref
Expression
Assertion
clidl
class
LIdeal