Theorem PosNum.shiftr_eq_shiftRight

Modification history

2023-10-12 12:34
Mathlib/Data/Num/Bitwise.lean
feat(Data/Num): use bitwise notation (#7593) …
Added PosNum.shiftr_eq_shiftRightView on Github →