Mathlib Changelog
v4
Changelog
About
Github
Commit
2026-07-20 20:57
910a7566
View on Github →
feat(SimpleGraph/Subwalks): an empty walk at
v
is a subwalk of any walk to
v
(
#41626
)
Estimated changes
Modified
Mathlib/Combinatorics/SimpleGraph/Walk/Subwalks.lean
added
theorem
SimpleGraph.Walk.isSubwalk_nil_end
added
theorem
SimpleGraph.Walk.isSubwalk_nil_start
deleted
theorem
SimpleGraph.Walk.nil_isSubwalk