Commit 2023-12-20 09:20 3f93618e

View on Github →

chore: bump Std to match leanprover/std4#438 (#9157)

Estimated changes

Modified Mathlib/Computability/Halting.lean

Modified Mathlib/Computability/Partrec.lean

Modified Mathlib/Computability/TMToPartrec.lean

Modified Mathlib/Data/Bool/Basic.lean

Modified Mathlib/Data/List/Basic.lean

deleted theorem List.indexOf_cons

deleted theorem List.indexOf_nil

Modified Mathlib/Data/List/MinMax.lean

Modified Mathlib/NumberTheory/SmoothNumbers.lean

Modified lake-manifest.json