Theorem Grp_.forget₂Mon_comp_forget

Modification history