Commit 2022-03-03 19:27 ca7346de

feat(combinatorics/simple_graph/connectivity): add walk.darts (#12360) Darts can be more convenient than edges when working with walks since they keep track of orientation. This adds the list of darts along a walk and uses this to define and prove things about edges along a walk.