Theorem Stream'.Seq.ofList_get

Modification history

2025-03-03 14:53

Mathlib/Data/Seq/Seq.lean

chore: bump toolchain to v4.18.0-rc1 (#22500) …

Deleted Stream'.Seq.ofList_get View on Github →

2023-10-20 05:04

Mathlib/Data/Seq/Seq.lean

style: rename `Stream'.nth` to `Stream'.get` (#7514) …

Added Stream'.Seq.ofList_get View on Github →