Mathlib v3 is deprecated. Go to Mathlib v4

Theorem stream.nth_succ_cons

Modification history

2022-09-12 01:34
src/data/stream/init.lean
feat(data/{seq,stream}): cons_injective2 (#15832) …
Added stream.nth_succ_consView on Github →