Syntax definition cghm

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

	Ref	Expression
Assertion	cghm	$$class\mathrm{GrpHom}$$