feat(Combinatorics/SimpleGraph/Paths): existence of longest paths/trails/cycles/circuits#41522

SnirBroshi wants to merge 3 commits into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

SnirBroshi:feature/simple-graph/longest-pathsSnirBroshi/mathlib4:feature/simple-graph/longest-pathsCopy head branch name to clipboard