Theorem Grp_Class.tensorObj.Grp_.forget₂Mon_comp_forget

Modification history