Syntax definition czr

Description: Integral elements of a ring.

	Ref	Expression
Assertion	czr	$$class\mathrm{\mathbb{Z}Ring}$$