Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Commit
2022-08-03 14:13
dd6f53d8
View on Github →
chore(data/seq/seq): clean up spacing (
#15825
) And other small acts of golfing.
Estimated changes
Modified
src/data/seq/seq.lean
modified
theorem
seq.le_stable
modified
def
seq.nil
modified
theorem
seq.terminated_stable
modified
def
seq