Commit 2025-09-03 12:37 314177ac
View on Github →feat(Combinatorics/SimpleGraph/Walk): add theorems about the support of Walk.cons and Walk.concat (#27460)
This contribution was created as part of the Utrecht Summerschool "Formalizing Mathematics in Lean" in July 2025.