Theorem SimpleGraph.Walk.mem_support_iff_exists_getVert

Modification history

2025-02-21 11:42
Mathlib/Combinatorics/SimpleGraph/Connectivity/WalkDecomp.lean
chore(Combinatorics/SimpleGraph): extract WalkDecomp from Walk (#21981) …
Modified SimpleGraph.Walk.mem_support_iff_exists_getVertView on Github →
2024-07-30 08:33
Mathlib/Combinatorics/SimpleGraph/Walk.lean
feat(Combinatorics/SimpleGraph/Connectivity): getVert lemmas (#14977) …
Added SimpleGraph.Walk.mem_support_iff_exists_getVertView on Github →