Theorem: bitvec_AndOrXor_2188 (Eval/bitvec_AndOrXor_2188.lean)

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

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