Mathlib v3 is deprecated. Go to Mathlib v4

Theorem stream.nth_take_succ

Modification history

2021-12-03 08:57

src/data/stream/init.lean

refactor(data/stream): swap args of `stream.nth` (#10559) …

Modified stream.nth_take_succ View on Github →

2021-11-29 17:49

src/data/stream/init.lean

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

Added stream.nth_take_succ View on Github →