Commit 2023-10-21 07:39 1623012a

View on Github →

chore: bump Std dependency (shiftRight lemmas) (#7771)

Estimated changes

Modified Mathlib/Data/Nat/Size.lean

deleted theorem Nat.shiftRight_eq_div_pow

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

deleted theorem Nat.shiftRight_add

deleted theorem Nat.shiftRight_succ

deleted theorem Nat.shiftRight_zero

deleted theorem Nat.zero_shiftRight

Modified lake-manifest.json