Syntax definition clmic

Description: The class of the left module isomorphism relation.

	Ref	Expression
Assertion	clmic	class ≃𝑚