connectivity): operations and lemmas about path type (#15156)

Commit

3 years ago

feat(combinatorics/simple_graph/connectivity): operations and lemmas about path type (#15156) Adds more theory about the type of paths in a simple graph. From `walks_and_trees` branch.

Author

kmill

Parents

3ce710a7

mathlib eece0d9b - feat(combinatorics/simple_graph/connectivity): operations and lemmas about path type (#15156)

mathlib
eece0d9b - feat(combinatorics/simple_graph/connectivity): operations and lemmas about path type (#15156)