Commit 2022-12-02 15:15 2aba5647
View on Github →feat: port Data.Stream.Defs (#665) Mathlib SHA: 39af7d3bf61a98e928812dbc3e16f4ea8b795ca3 Diff view: https://github.com/leanprover-community/mathlib4/compare/7f9d342...stream
feat: port Data.Stream.Defs (#665) Mathlib SHA: 39af7d3bf61a98e928812dbc3e16f4ea8b795ca3 Diff view: https://github.com/leanprover-community/mathlib4/compare/7f9d342...stream