Syntax definition codz

Description: Extend class notation with the order function on the class of integers modulo N.

	Ref	Expression
Assertion	codz	$$class{\mathrm{od}}_{\mathbb{Z}}$$