Theorem SimpleGraph.Walk.reachable_of_mem_support

Modification history

2026-10-17 12:17
Mathlib/Combinatorics/SimpleGraph/Connectivity/Connected.lean
feat(SimpleGraph): reduce CycleGraph imports (#41306) …
Added SimpleGraph.Walk.reachable_of_mem_supportView on Github →