Theorem SimpleGraph.Walk.drop_isSubwalk_drop

Modification history

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