Syntax definition czlm

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

	Ref	Expression
Assertion	czlm	class ℤMod