Theorem CommMon_.forget₂Mon_obj_one

Modification history