Metamath Proof Explorer


Syntax definition clmic

Description: The class of the left module isomorphism relation.

Ref Expression
Assertion clmic
class ~=m