mathlib

2861d4eb - feat(combinatorics/simple_graph/connectivity): walk constructor patterns with explicit vertices (#13078)

feat(combinatorics/simple_graph/connectivity): walk constructor patterns with explicit vertices (#13078) This saves a couple underscores, letting you write `walk.cons' _ v _ h p` instead of `@walk.cons _ _ _ v _ h p` when you want that middle vertex in a pattern.