Mathlib Changelog
v4
Changelog
About
Github
Theorem
SimpleGraph.Walk.mem_support_iff_exists_getVert
Modification history
2024-07-30 08:33
Mathlib/Combinatorics/SimpleGraph/Walk.lean
feat(Combinatorics/SimpleGraph/Connectivity): getVert lemmas (#14977) …
Added
SimpleGraph.Walk.mem_support_iff_exists_getVert
View on Github →