Theorem Int.shiftl_negSucc

Modification history

2023-09-10 18:23

Mathlib/Data/Int/Bitwise.lean

refactor(Data/Int/Bitwise): use `<<<` and `>>>` notation (#6789) …

Deleted Int.shiftl_negSucc View on Github →

2023-08-27 08:28

Mathlib/Data/Int/Bitwise.lean

chore: rename `Nat.shiftl'` to `Nat.shiftLeft'` (#6788) …

Modified Int.shiftl_negSucc View on Github →

2023-01-02 08:14

Mathlib/Data/Int/Bitwise.lean

feat: port Data.Int.Bitwise (#1159) …

Added Int.shiftl_negSucc View on Github →