Def Lean.Expr.replaceRecTraversal

Modification history

2022-12-16 09:48
Mathlib/Lean/Expr/ReplaceRec.lean
perf: improve to_additive performance (#1060) …
Deleted Lean.Expr.replaceRecTraversalView on Github →
2022-10-10 21:29
Mathlib/Lean/Expr/ReplaceRec.lean
chore: long lines (#460)
Modified Lean.Expr.replaceRecTraversalView on Github →
2022-03-29 16:40
Mathlib/Lean/Expr/ReplaceRec.lean
feat: `replaceRec` (#129) …
Added Lean.Expr.replaceRecTraversalView on Github →