Syntax definition cnzr

Description: The class of nonzero rings.

	Ref	Expression
Assertion	cnzr	$$class\mathrm{NzRing}$$