Def CategoryTheory.Functor.mapGrpIdIso

Modification history