Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Jeff Madsen
Commutative rings
ccring
Next ⟩
df-crngo
Metamath Proof Explorer
Ascii
Structured
Syntax definition
ccring
Description:
Extend class notation with the class of commutative rings.
Ref
Expression
Assertion
ccring
class
CRingOps