Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Jeff Madsen
Ideals
cidl
Next ⟩
cpridl
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cidl
Description:
Extend class notation with the class of ideals.
Ref
Expression
Assertion
cidl
class
Idl