Syntax definition cclm

Description: Syntax for the class of subcomplex modules.

	Ref	Expression
Assertion	cclm	$$class\mathrm{CMod}$$