Commit 2023-10-29 21:47 c3470951

View on Github →

chore: bump std (#8008) This bumps std up to and including the merge of leanprover/std4#321

Estimated changes

Modified Mathlib.lean

Modified Mathlib/Tactic.lean

Modified Mathlib/Tactic/Common.lean

Deleted Mathlib/Tactic/PrintPrefix.lean

deleted def Lean.Elab.Command.elabPrintPrefix

deleted structure Lean.Meta.FindOptions

deleted def Lean.Meta.find

deleted def Lean.Meta.findCore

Modified lake-manifest.json