Theorem CategoryTheory.Functor.mapGrp_id_mul

Modification history