Theorem CategoryTheory.Functor.comp_mapGrp_mul

Modification history