Syntax definition czn

Description: The ring of integers modulo n .

	Ref	Expression
Assertion	czn	$$class\mathrm{\mathbb{Z}/n\mathbb{Z}}$$