Commit 2024-02-12 07:17 a13a6b8d

View on Github →

chore: bump dependencies (#10446)

Estimated changes

Modified Mathlib/Algebra/Group/UniqueProds.lean

Modified Mathlib/Data/Int/Bitwise.lean

added theorem Int.testBit_bit_succ

added theorem Int.testBit_bit_zero

deleted theorem Int.testBit_succ

deleted theorem Int.testBit_zero

Modified Mathlib/Data/List/Basic.lean

deleted theorem List.append_concat

deleted theorem List.concat_append

deleted theorem List.concat_cons

deleted theorem List.concat_ne_nil

deleted theorem List.concat_nil

deleted theorem List.cons_eq_cons

deleted theorem List.init_eq_of_concat_eq

deleted theorem List.last_eq_of_concat_eq

Modified Mathlib/Data/Nat/Bitwise.lean

Modified Mathlib/Data/Nat/Pow.lean

deleted theorem Nat.two_pow_pos

Modified Mathlib/Data/Num/Lemmas.lean

Modified Mathlib/Init/Data/Nat/Bitwise.lean

added theorem Nat.testBit_bit_succ

added theorem Nat.testBit_bit_zero

deleted theorem Nat.testBit_succ

deleted theorem Nat.testBit_zero

Modified Mathlib/Init/Logic.lean

Modified Mathlib/Logic/Basic.lean

modified theorem not_and_or

modified theorem not_imp

Modified Mathlib/Order/Chain.lean

Modified Mathlib/Order/Filter/Basic.lean

Modified Mathlib/Tactic/Tauto.lean

Modified Mathlib/Topology/NoetherianSpace.lean

Modified lake-manifest.json