Theorem: bitvec_AndOrXor_2475 (Eval/bitvec_AndOrXor_2475.lean)

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

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