Theorem CategoryTheory.Functor.comp_mapCommGrp_mul

Modification history