Add proof of the existence of eulerian path#39700

samuelchassot wants to merge 2 commits into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

samuelchassot:sam/eulerianPathContribsamuelchassot/mathlib4:sam/eulerianPathContribCopy head branch name to clipboard