Theorem CommGrp_.forget₂Grp_obj_mul

Modification history