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