Commit 2024-02-07 15:18 ba9f2e5b

View on Github →

chore: bump dependencies (#10315)

Estimated changes

Modified Archive/Imo/Imo1981Q3.lean

Modified Mathlib/Combinatorics/Additive/Behrend.lean

Modified Mathlib/Combinatorics/Quiver/Arborescence.lean

Modified Mathlib/Combinatorics/SetFamily/LYM.lean

Modified Mathlib/Combinatorics/SimpleGraph/Regularity/Equitabilise.lean

Modified Mathlib/Computability/Ackermann.lean

Modified Mathlib/Computability/PartrecCode.lean

Modified Mathlib/Data/List/Basic.lean

Modified Mathlib/Data/List/Intervals.lean

Modified Mathlib/Data/List/NatAntidiagonal.lean

Modified Mathlib/Data/Nat/Cast/Order.lean

Modified Mathlib/Data/Nat/Choose/Factorization.lean

Modified Mathlib/Data/Nat/Defs.lean

modified theorem Nat.lt_add_one_iff

modified theorem Nat.lt_iff_le_pred

modified theorem Nat.lt_one_add_iff

deleted theorem Nat.lt_succ_iff

deleted theorem Nat.lt_succ_iff_lt_or_eq

Modified Mathlib/Data/Nat/Factorial/Basic.lean

Modified Mathlib/Data/Nat/Factorization/Basic.lean

Modified Mathlib/Data/Nat/Fib/Zeckendorf.lean

Modified Mathlib/Data/Nat/Interval.lean

Modified Mathlib/Data/Nat/Lattice.lean

Modified Mathlib/Data/Nat/Log.lean

Modified Mathlib/Data/Nat/Multiplicity.lean

Modified Mathlib/Data/Nat/Nth.lean

Modified Mathlib/Data/Nat/Order/Basic.lean

Modified Mathlib/Data/Nat/Order/Lemmas.lean

Modified Mathlib/Data/Nat/Prime.lean

Modified Mathlib/Data/Nat/Sqrt.lean

Modified Mathlib/Data/Nat/Squarefree.lean

Modified Mathlib/Data/PNat/Basic.lean

Modified Mathlib/Dynamics/PeriodicPts.lean

Modified Mathlib/NumberTheory/Bertrand.lean

Modified Mathlib/NumberTheory/Divisors.lean

Modified Mathlib/NumberTheory/LegendreSymbol/GaussEisensteinLemmas.lean

Modified Mathlib/NumberTheory/SmoothNumbers.lean

Modified Mathlib/RingTheory/PowerSeries/Basic.lean

Modified lake-manifest.json