Theorem Grp_Class.tensorObj.Grp_.forget₂Mon_map_hom

Modification history