Theorem CategoryTheory.Functor.comp_mapGrp_one

Modification history