Mathlib Changelog
v4
Changelog
About
Github
Commit
2024-04-18 08:21
49a37b56
View on Github →
feat: Add
getVert_append
and
getVert_reverse
(
#11787
)
Estimated changes
Modified
Mathlib/Combinatorics/SimpleGraph/Connectivity.lean
added
theorem
SimpleGraph.Walk.getVert_append
added
theorem
SimpleGraph.Walk.getVert_reverse