Def CategoryTheory.Groupoid.CategoryTheory.Functor.mapVertexGroup

Modification history

2026-05-25 15:44
Mathlib/CategoryTheory/Groupoid/VertexGroup.lean
fix: decls with a non-consecutive duplicate namespace (#39794) …
Deleted CategoryTheory.Groupoid.CategoryTheory.Functor.mapVertexGroupView on Github →
2023-03-23 16:06
Mathlib/CategoryTheory/Groupoid/VertexGroup.lean
feat: port CategoryTheory.Groupoid.VertexGroup (#2609) …
Added CategoryTheory.Groupoid.CategoryTheory.Functor.mapVertexGroupView on Github →