Theorem: t4 (Test/Bv/Stress.lean)

State before:
x y : BitVec 2048
h : x = y
⊢ ~~~x &&& y = ~~~y &&& x
Tactic:
bv_decide
State after:
no goals