Database
BASIC ALGEBRAIC STRUCTURES
Left modules
Homomorphisms and isomorphisms of left modules
clmhm
Next ⟩
clmim
Metamath Proof Explorer
Ascii
Structured
Syntax definition
clmhm
Description:
Extend class notation with the generator of left module hom-sets.
Ref
Expression
Assertion
clmhm
class
LMHom