Metamath Proof Explorer


Syntax definition cghm

Description: Extend class notation with the generator of group hom-sets.

Ref Expression
Assertion cghm class GrpHom