Theorem CommMon_.forget₂Mon_obj_mul

Modification history