Theorem Stream'.inits_eq

Modification history

2023-01-19 10:36

Mathlib/Data/Stream/Init.lean

chore: format by line breaks with long lines (#1529) …

Modified Stream'.inits_eq View on Github →

2022-12-22 21:50

Mathlib/Data/Stream/Init.lean

feat: port Data.Stream.Init (#849) …

Added Stream'.inits_eq View on Github →