Mathlib Changelog
v4
Changelog
About
Github
Commit
2025-11-07 04:52
df9f011f
View on Github →
chore(Combinatorics/SimpleGraph/Walk): golf (
#30960
)
Estimated changes
Modified
Mathlib/Combinatorics/SimpleGraph/Walk.lean
modified
theorem
SimpleGraph.Walk.copy_nil
modified
theorem
SimpleGraph.Walk.exists_length_eq_zero_iff