Theorem Stream'.WSeq.mem_of_mem_tail

Modification history

2026-07-13 14:10

Mathlib/Data/WSeq/Basic.lean

chore(Data/{W}Seq): cleanup flexible linter exceptions (#41672) …

Modified Stream'.WSeq.mem_of_mem_tail View on Github →

2023-04-20 06:30

Mathlib/Data/Seq/WSeq.lean

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

Added Stream'.WSeq.mem_of_mem_tail View on Github →