Theorem Stream'.append_eq_cons

Modification history

2025-07-01 00:55
Mathlib/Data/Stream/Init.lean
chore: bump toolchain to v4.22.0-rc2 (#26564) …
Modified Stream'.append_eq_consView on Github →
2025-01-14 02:01
Mathlib/Data/Stream/Init.lean
feat: add stream' lemmas (#19546) …
Added Stream'.append_eq_consView on Github →