Mathlib v3 is deprecated. Go to Mathlib v4

Theorem stream.nth_enum

Modification history

2022-11-06 14:53

src/data/stream/init.lean

feat(data/{seq,stream}): enum and some helper API (#15790)

Added stream.nth_enum View on Github →