Commit 2025-11-20 10:13 40fb44ff
View on Github →feat(Combinatorics/SimpleGraph/Walk): a vertex of a walk is in its tail starting from the second vertex onwards (#31119) Add helper theorems for https://github.com/leanprover-community/mathlib4/pull/29309