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

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