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