Commit 2022-06-17 09:34 58f072fd

View on Github →

chore: bump to 2022-06-17 (#287)

Estimated changes

Modified Mathlib/Lean/Expr/ReplaceRec.lean

deleted def Lean.Expr.replaceRecM

deleted def Lean.Expr.replaceRecMeta

Modified Mathlib/Tactic/IrreducibleDef.lean

Modified Mathlib/Tactic/Spread.lean

Modified Mathlib/Util/Export.lean

Modified Mathlib/Util/MemoFix.lean

Modified lean-toolchain

Modified test/librarySearch.lean