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

State before:
a b i : ℕ
⊢ (a ||| b) >>> i = a >>> i ||| b >>> i
Tactic:
sorry
State after:
no goals