Theorem CategoryTheory.Functor.comp_mapCommGrp_one

Modification history