Mathlib v3 is deprecated. Go to Mathlib v4

Theorem stream.append_take_drop

Modification history

2021-11-29 17:49

src/data/stream/init.lean

chore(data/stream): dedup `take` and `approx` (#10525) …

Added stream.append_take_drop View on Github →