Theorem CategoryTheory.Functor.mapGrp_id_one

Modification history