Mathlib Changelog
v4
Changelog
About
Github
Def
Lean.Expr.replaceRec
Modification history
2022-03-29 16:40
Mathlib/Lean/Expr/ReplaceRec.lean
feat: `replaceRec` (#129) …
Added
Lean.Expr.replaceRec
View on Github →