Syntax definition clmic

Description: The class of the left module isomorphism relation.

	Ref	Expression
Assertion	clmic	$$class{\simeq }_{𝑚}$$