Theorem SimpleGraph.Walk.take_take

Modification history

2026-03-17 21:22
Mathlib/Combinatorics/SimpleGraph/Walks/Operations.lean
feat(SimpleGraph): taking twice from a walk equals taking the minimum (#35292) …
Added SimpleGraph.Walk.take_takeView on Github →