Commit 2022-03-29 16:40 ed053df5

View on Github →

feat: replaceRec (#129)

Add a more flexible version of Expr.replace

Estimated changes

Modified Mathlib.lean

Created Mathlib/Lean/Expr/ReplaceRec.lean

added def Lean.Expr.replaceRec

added def Lean.Expr.replaceRecTraversal

Created Mathlib/Lean/Expr/Traverse.lean

added def Lean.Expr.traverseChildren

Created test/Expr.lean

added def bar

added def foo

added def reorderLastArguments