Theorem Stream'.WSeq.join_ret

Modification history

2024-03-10 16:40

Mathlib/Data/Seq/WSeq.lean

chore: more `squeeze_simp`s arising from linter (#11259) …

Modified Stream'.WSeq.join_ret View on Github →

2023-04-20 06:30

Mathlib/Data/Seq/WSeq.lean

feat: port Data.Seq.WSeq (#3405) …

Added Stream'.WSeq.join_ret View on Github →