Mathlib v3 is deprecated. Go to Mathlib v4

Theorem stream.cons_injective2

Modification history

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