Mathlib v3 is deprecated. Go to Mathlib v4

Theorem stream.take_zero

Modification history

2021-11-29 17:49

src/data/stream/init.lean

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

Added stream.take_zero View on Github →