Commit 2022-06-19 14:35 1ac9dea0

View on Github →

chore: bump to 2022-06-19 (#288)

Estimated changes

Modified Mathlib/Lean/Expr/Traverse.lean

deleted def Lean.Expr.traverseApp

deleted def Lean.Meta.traverseChildren

deleted def Lean.Meta.traverseForall

deleted def Lean.Meta.traverseLambda

deleted def Lean.Meta.traverseLet

Modified lean-toolchain