Database
BASIC ALGEBRAIC STRUCTURES
Ideals
Two-sided ideals and quotient rings
c2idl
Next ⟩
df-2idl
Metamath Proof Explorer
Ascii
Structured
Syntax definition
c2idl
Description:
Ring two-sided ideal function.
Ref
Expression
Assertion
c2idl
class
2Ideal