Theorem: LeanColls.BitVec.shiftRight_shiftLeft (LeanColls/Data/BitVec.lean)

State before:
i j : ℕ
⊢ 2 ^ i >>> j = if j > i then 0 else 2 ^ (i - j)
Tactic:
sorry
State after:
no goals