Theorem SimpleGraph.Walk.support_getElem_length_sub_one_eq_penultimate

Modification history

2025-12-10 18:38
Mathlib/Combinatorics/SimpleGraph/Walks/Traversal.lean
feat(Combinatorics/SimpleGraph/Walk): lemmas about the first and last darts/edges (#31416)
Added SimpleGraph.Walk.support_getElem_length_sub_one_eq_penultimateView on Github →