Theorem CommGrp.forget₂_commMonCat_map_ofHom

Modification history