Metamath Proof Explorer


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