feat(SimpleGraph/Trails): a walk is Eulerian iff it is a trail of length G.edgeSet.encard#41623

SnirBroshi wants to merge 1 commit into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

SnirBroshi:feature/simple-graph/is-eulerian-iff-lengthSnirBroshi/mathlib4:feature/simple-graph/is-eulerian-iff-lengthCopy head branch name to clipboard