Commit 2023-11-28 03:17 2577ef78

View on Github →

chore: bump for std4#241 (#6975)

depends on: https://github.com/leanprover/std4/pull/241

Estimated changes

Modified Mathlib.lean

Modified Mathlib/Control/Traversable/Basic.lean

Modified Mathlib/Data/List/Defs.lean

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

Modified Mathlib/Lean/Expr/Basic.lean

deleted def Lean.Expr.constName

deleted def Lean.Expr.getAppFnArgs

Modified Mathlib/Mathport/Syntax.lean

Modified Mathlib/Tactic.lean

Modified Mathlib/Tactic/Common.lean

Modified Mathlib/Tactic/Lift.lean

Deleted Mathlib/Tactic/PermuteGoals.lean

deleted def Mathlib.Tactic.splitGoalsAndGetNth

Modified lake-manifest.json

Modified scripts/style-exceptions.txt

Deleted test/PermuteGoals.lean

Modified test/classical.lean

Modified test/lift.lean

Modified test/solve_by_elim/basic.lean