Metamath Proof Explorer

Syntax definition cnzr

Description: The class of nonzero rings.

Ref Expression
Assertion cnzr 
class NzRing