Mathlib

1/4

A walk is v₀e₁v₁…eₖvₖ with each eᵢ joining vᵢ₋₁ to vᵢ.