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

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