Theorem: bitvec_AndOrXor_2486 (Eval/bitvec_AndOrXor_2486.lean)

State before:
⊢ ∀ (x C : BitVec 64), x + C ^^^ -1 = -1 - C - x
Tactic:
intros
State after:
x✝ C✝ : BitVec 64
⊢ x✝ + C✝ ^^^ -1 = -1 - C✝ - x✝

State before:
x✝ C✝ : BitVec 64
⊢ x✝ + C✝ ^^^ -1 = -1 - C✝ - x✝
Tactic:
bv_decide
State after:
no goals