Theorem Grp_Class.tensorObj.Grp_.forget₂Mon_obj_one

Modification history