This is an inofficial mirror of
http://metamath.tirix.org
for personal testing of a visualizer extension only.
Database
BASIC ALGEBRAIC STRUCTURES
Subring algebras and ideals
Left ideals and spans
clidl
Next ⟩
crsp
Metamath Proof Explorer
Ascii
Structured
Syntax definition
clidl
Description:
Ring left-ideal function.
Ref
Expression
Assertion
clidl
class
LIdeal