Theorem Int.zero_shiftRight'

Modification history

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