Syntax definition cclm

Description: Syntax for the class of subcomplex modules.

	Ref	Expression
Assertion	cclm	class ℂMod