Theorem: shift_unit_8 (Test/Bv/Shift.lean)

State before:
x : BitVec 64
h : BitVec.slt 0 x = true
⊢ x.sshiftRight 32 = x >>> 32
Tactic:
bv_decide
State after:
no goals