Def Stream'.Seq.ofMLList

Modification history

2025-08-29 19:57

Mathlib/Data/Seq/Basic.lean

chore(Data/Seq): split `Seq.lean` (#28954) …

Modified Stream'.Seq.ofMLList View on Github →

2024-08-05 08:52

Mathlib/Data/Seq/Seq.lean

chore: move toolchain to v4.11.0-rc1 (#15513)

Added Stream'.Seq.ofMLList View on Github →