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

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