Theorem CategoryTheory.Functor.mapCommGrp_id_one

Modification history