Commit 2025-06-22 06:18 087a0dcf
View on Github →feat(Combinatorics/SimpleGraph): edgeSet of Eulerian walk equal to edgeSet of graph (#26263) This PR continues the work from #25224. Original PR: https://github.com/leanprover-community/mathlib4/pull/25224