Commit 2022-06-13 18:37 4f6c829a

View on Github →

chore: bump to 2022-06-13 (#284)

Estimated changes

Modified Mathlib/Data/BinaryHeap.lean

Modified Mathlib/Init/Data/Nat/Lemmas.lean

deleted theorem Nat.div_lt_self

Modified Mathlib/Tactic/Cache.lean

modified def Tactic.Cache.get

Modified Mathlib/Tactic/Cases.lean

Modified Mathlib/Tactic/Lint/Frontend.lean

Modified Mathlib/Util/IncludeStr.lean

Modified lakefile.lean

Modified lean-toolchain