Theorem CommGrp_.forget₂Grp_obj_one

Modification history