Def Computation.recOn

Modification history

2025-08-29 07:32

Mathlib/Data/Seq/Computation.lean

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

Modified Computation.recOn View on Github →

2023-01-23 20:28

Mathlib/Data/Seq/Computation.lean

feat: port Data.Seq.Computation (#1216) …

Added Computation.recOn View on Github →