Database
BASIC ALGEBRAIC STRUCTURES
Left modules
Homomorphisms and isomorphisms of left modules
clmic
Next ⟩
df-lmhm
Metamath Proof Explorer
Unicode
Structured
Syntax definition
clmic
Description:
The class of the left module isomorphism relation.
Ref
Expression
Assertion
clmic
class ~=m