Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Commit
2019-08-01 15:02
0d66c875
View on Github →
feat(data/seq): add ext proof, nats def, zip_with lemmas, and extract seq property (
#1278
)
Estimated changes
Modified
src/data/seq/seq.lean
added
theorem
seq.ge_stable
added
def
seq.nats
added
theorem
seq.nats_nth
added
theorem
seq.zip_with_nth_none'
added
theorem
seq.zip_with_nth_none
added
theorem
seq.zip_with_nth_some
modified
def
seq
added
def
stream.is_seq
Modified
src/data/seq/wseq.lean