Theorem CategoryTheory.Functor.mapCommpGrp_id_mul

Modification history