Commit 2023-11-20 04:04 28f19fef

View on Github →

chore: bump Std (#8505)

Estimated changes

Modified Mathlib/Order/Basic.lean

deleted theorem ge_iff_le

deleted theorem gt_iff_lt

deleted theorem le_of_eq_of_le

deleted theorem le_of_le_of_eq

deleted theorem lt_of_eq_of_lt

deleted theorem lt_of_lt_of_eq

Modified Mathlib/Tactic/Common.lean

Modified Mathlib/Tactic/LibrarySearch.lean

Modified Mathlib/Tactic/Rewrites.lean

deleted def Mathlib.Tactic.Rewrites.addLemma

added def Mathlib.Tactic.Rewrites.keysSpecific

Modified lake-manifest.json

Modified test/LibrarySearch/basic.lean

Modified test/hint.lean

Modified test/rewrites.lean