mathlib3

edaaaa4a - feat(combinatorics/simple_graph/trails): Euler's condition for trails (#15158)

feat(combinatorics/simple_graph/trails): Euler's condition for trails (#15158) Adds theory for trails and Eulerian trails and proves that Eulerian trails imply a condition on vertex degrees.