Theorem CommGrp_.forget₂Grp_map_hom

Modification history