Mathlib v3 is deprecated. Go to Mathlib v4

Theorem stream.head_drop

Modification history

2021-12-05 03:46
src/data/stream/basic.lean
chore(data/stream): merge `basic` into `init` (#10617)
Modified stream.head_dropView on Github →
2021-11-23 16:49
src/data/stream/basic.lean
feat(combinatorics): Hindman's theorem on finite sums (#10029) …
Added stream.head_dropView on Github →