Commit 2022-11-17 12:59 df1708e6

View on Github →

chore: bump to nightly 2022-11-17 (#624)

Estimated changes

Modified Mathlib/Data/UnionFind.lean

Modified Mathlib/Tactic/LibrarySearch.lean

modified def Mathlib.Tactic.LibrarySearch.librarySearch

Modified Mathlib/Tactic/NormNum/Core.lean

Modified Mathlib/Tactic/Positivity/Core.lean

Modified Mathlib/Tactic/Relation/Rfl.lean

Modified Mathlib/Tactic/Relation/Symm.lean

Modified Mathlib/Tactic/Relation/Trans.lean

Modified Mathlib/Util/Simp.lean

modified def Lean.Meta.DiscrTree.getElements

Modified lean-toolchain

Modified lean_packages/manifest.json