Def CategoryTheory.Functor.mapVertexGroup

Modification history

2026-05-25 15:44
Mathlib/CategoryTheory/Groupoid/VertexGroup.lean
fix: decls with a non-consecutive duplicate namespace (#39794) …
Added CategoryTheory.Functor.mapVertexGroupView on Github →