Theorem Grp.forget₂_map_ofHom

Modification history