Def CategoryTheory.Groupoid.CategoryTheory.Functor.mapVertexGroup

Modification history