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

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