Theorem CommGrp_.forget₂CommMon_obj_one

Modification history