Theorem Grp_Class.tensorObj.Grp_.forget₂Mon_obj_mul

Modification history