Commit 2024-02-25 13:35 a62da66e

View on Github →

chore: bump dependencies (#10954)

Estimated changes

Modified Mathlib/Data/BitVec/Lemmas.lean

modified theorem Std.BitVec.toFin_natCast

deleted theorem Std.BitVec.toFin_ofNat

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

deleted theorem Int.ediv_eq_ediv_of_mul_eq_mul

deleted theorem Int.ediv_pos_of_pos_of_dvd

Modified Mathlib/Data/List/Basic.lean

Modified Mathlib/Data/List/BigOperators/Basic.lean

Modified Mathlib/Data/List/Nodup.lean

Modified Mathlib/Data/List/Sigma.lean

Modified Mathlib/Data/Multiset/Basic.lean

Modified Mathlib/Data/NNRat/Defs.lean

Modified Mathlib/Init/Data/Rat/Basic.lean

Modified Mathlib/Logic/Basic.lean

added theorem beq_eq_decide

added theorem not_beq_of_ne

Modified Mathlib/NumberTheory/DiophantineApproximation.lean

Modified Mathlib/NumberTheory/SumFourSquares.lean

Modified Mathlib/Tactic/LibrarySearch.lean

Modified lake-manifest.json