Mathlib v3 is deprecated. Go to Mathlib v4

Def stream.enum

Modification history

2022-11-06 14:53

src/data/stream/defs.lean

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

Added stream.enum View on Github →