Theorem SimpleGraph.Walk.take_isSubwalk_take

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.take_isSubwalk_takeView on Github →