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