Theorem Grp_.forget₂Mon_map_hom

Modification history