Theorem: append_eq_shl_or_3 (Test/BitVec/Shift.lean)

State before:
x y : BitVec 3
⊢ x ++ y = zeroExtend 6 x <<< 3#2 ||| zeroExtend 6 y
Tactic:
sorry
State after:
no goals