Theorem Grp_.forget₂Mon_obj_one

Modification history