Theorem CommGrp_.forget₂CommMon_map_hom

Modification history