Theorem SimpleGraph.Walk.nil_drop_of_length_le

Modification history

2026-02-07 17:02
Mathlib/Combinatorics/SimpleGraph/Walks/Operations.lean
feat(SimpleGraph): add more API for `take`/`drop` (#26614) …
Added SimpleGraph.Walk.nil_drop_of_length_leView on Github →