Theorem: bitvec_AddSub_1560 (Eval/bitvec_AddSub_1560.lean)

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

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