Commit 2023-11-20 09:57 cf21ac04

View on Github →

chore: bump Std (#8526)

Estimated changes

Modified Mathlib/Tactic/Basic.lean

deleted def Lean.MVarId.changeLocalDecl'

deleted def Lean.MVarId.withReverted

Modified Mathlib/Tactic/Coe.lean

Modified lake-manifest.json

Modified lakefile.lean

Modified test/Change.lean

deleted def foo

Modified test/FunLike.lean

Modified test/RewriteSearch/Polynomial.lean