Commit 2024-02-14 05:27 e3c9f965

View on Github →

chore: bump Std (#10514)

Estimated changes

Modified Mathlib/Data/BitVec/Lemmas.lean

deleted theorem Std.BitVec.toFin_add

deleted theorem Std.BitVec.toFin_and

deleted theorem Std.BitVec.toFin_mul

deleted theorem Std.BitVec.toFin_or

deleted theorem Std.BitVec.toFin_sub

deleted theorem Std.BitVec.toFin_xor

Modified Mathlib/Data/Nat/Bitwise.lean

Modified Mathlib/Data/Nat/Defs.lean

Modified Mathlib/Data/Nat/Pow.lean

deleted theorem Nat.dvd_of_pow_dvd

deleted theorem Nat.pow_div

deleted theorem Nat.pow_dvd_of_le_of_pow_dvd

Modified lake-manifest.json