Syntax definition cghomOLD

Description: Obsolete version of cghm as of 15-Mar-2020. Extend class notation to include the class of group homomorphisms. (New usage is discouraged.)

	Ref	Expression
Assertion	cghomOLD	class GrpOpHom