Theorem Stream'.drop_drop
Modification history
2025-01-14 02:01
Mathlib/Data/Stream/Init.lean
feat: add stream' lemmas (#19546) …
Modified Stream'.drop_dropView on Github →2024-07-16 18:44
Mathlib/Data/Stream/Init.lean
chore(Data/Stream/Init): use `ℕ` instead of `Nat` consistently (#14521) …
Modified Stream'.drop_dropView on Github →