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

State before:
i : ℕ
⊢ 0 >>> i = 0
Tactic:
induction i <;> simp [shiftRight_zero, shiftRight_succ]
State after:
no goals