Theorem PosNum.shiftl_succ_eq_bit0_shiftl

Modification history

2023-10-12 12:34
Mathlib/Data/Num/Bitwise.lean
feat(Data/Num): use bitwise notation (#7593) …
Modified PosNum.shiftl_succ_eq_bit0_shiftlView on Github →
2023-03-16 02:45
Mathlib/Data/Num/Bitwise.lean
refactor: Add a new theorem for `PosNum.shiftl` (#2783)
Added PosNum.shiftl_succ_eq_bit0_shiftlView on Github →