Syntax definition czlm

Description: Augment an abelian group with vector space operations to turn it into a ZZ -module.

	Ref	Expression
Assertion	czlm	$$class\mathrm{\mathbb{Z}Mod}$$