Syntax definition codz

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

	Ref	Expression
Assertion	codz	class odℤ