Commit 2023-09-19 01:45 50703451

View on Github →

feat: update to leanprover/std4#258 (#7248)

Estimated changes

Modified Mathlib.lean

Modified Mathlib/Tactic.lean

Modified Mathlib/Tactic/Attr/Register.lean

Modified Mathlib/Tactic/Common.lean

Deleted Mathlib/Tactic/LabelAttr.lean

deleted def Mathlib.Tactic.LabelAttr.labelled

deleted def Mathlib.Tactic.LabelAttr.mkLabelAttr

deleted def Mathlib.Tactic.LabelAttr.mkLabelExt

deleted def Mathlib.Tactic.LabelAttr.registerLabelAttr

Modified Mathlib/Tactic/Monotonicity/Attr.lean

Modified Mathlib/Tactic/SolveByElim.lean

Deleted Mathlib/Util/DummyLabelAttr.lean

Modified lake-manifest.json

Modified test/solve_by_elim/basic.lean