Theorem: bitvec_AndOrXor_1230__A__B___A__B (Eval/bitvec_AndOrXor_1230__A__B___A__B.lean)

State before:
⊢ ∀ (notOp0 notOp1 : BitVec 64), (notOp0 ^^^ -1) &&& (notOp1 ^^^ -1) = (notOp0 ||| notOp1) ^^^ -1
Tactic:
intros
State after:
notOp0✝ notOp1✝ : BitVec 64
⊢ (notOp0✝ ^^^ -1) &&& (notOp1✝ ^^^ -1) = (notOp0✝ ||| notOp1✝) ^^^ -1

State before:
notOp0✝ notOp1✝ : BitVec 64
⊢ (notOp0✝ ^^^ -1) &&& (notOp1✝ ^^^ -1) = (notOp0✝ ||| notOp1✝) ^^^ -1
Tactic:
bv_decide
State after:
no goals