mathlib3

ae8f08fe - feat(combinatorics/simple_graph/connectivity): more lemmas (#11010)

feat(combinatorics/simple_graph/connectivity): more lemmas (#11010) This is the second chunk of #8737, which gives some more lemmas for manipulating the support and edge lists of walks. This also turns `is_trail` back into a structure.