Theorem CommMonCat.forget₂_map_ofHom

Modification history