Theorem CommGrp.forget₂_grp_map_ofHom

Modification history