Theorem Stream'.Seq.ofList_nth

Modification history

2023-10-20 05:04

Mathlib/Data/Seq/Seq.lean

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

Deleted Stream'.Seq.ofList_nth View on Github →

2023-04-10 15:18

Mathlib/Data/Seq/Seq.lean

Feat: Port/Data.Seq.Seq (#3187) …

Added Stream'.Seq.ofList_nth View on Github →