Def Stream'.WSeq.recOn

Modification history

2025-08-29 07:32

Mathlib/Data/WSeq/Basic.lean

chore: fix more induction/recursor branch names (#25770) …

Modified Stream'.WSeq.recOn View on Github →

2023-04-20 06:30

Mathlib/Data/Seq/WSeq.lean

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

Added Stream'.WSeq.recOn View on Github →