Commit 2023-12-14 05:07 a169d1d7

View on Github →

chore: update Std dependency to match leanprover/std4#397 (#9039)

Estimated changes

Modified Mathlib.lean

Modified Mathlib/Computability/Primrec.lean

Modified Mathlib/Data/List/Basic.lean

modified theorem List.indexOf_cons_eq

modified theorem List.indexOf_cons_ne

Modified Mathlib/Data/List/MinMax.lean

Modified Mathlib/Data/Multiset/Basic.lean

Deleted Mathlib/Lean/System/IO.lean

deleted def IO.waitAny'

deleted def List.waitAll

Modified Mathlib/NumberTheory/SmoothNumbers.lean

Modified lake-manifest.json