Theorem CommGrp_.forget₂Grp_comp_forget

Modification history