Mathlib v3 is deprecated. Go to Mathlib v4

Theorem stream.enum_eq_zip

Modification history

2022-11-06 14:53

src/data/stream/init.lean

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

Added stream.enum_eq_zip View on Github →