Syntax definition clmim

Description: The class of left module isomorphism sets.

	Ref	Expression
Assertion	clmim	$$class\mathrm{LMIso}$$