Theorem Int.shiftRight_add'

Modification history

2024-06-07 03:20
Mathlib/Data/Int/Bitwise.lean
chore: merge bump/v4.9.0 (#13584) …
Added Int.shiftRight_add'View on Github →