Database
BASIC ALGEBRAIC STRUCTURES
Ideals
Nonzero rings and zero rings
cnzr
Next ⟩
df-nzr
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cnzr
Description:
The class of nonzero rings.
Ref
Expression
Assertion
cnzr
class
NzRing