Theorem Nat.shiftRight_add

Modification history

2023-10-21 07:39

Mathlib/Init/Data/Nat/Bitwise.lean

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

Deleted Nat.shiftRight_add View on Github →

2023-08-25 13:22

Mathlib/Init/Data/Nat/Bitwise.lean

feat: delete Nat.shiftr and Nat.shiftl (#6356) …

Added Nat.shiftRight_add View on Github →