Theorem: BVBinOp.eval_xor (LeanSAT/Reflect/BVExpr/Basic.lean)

State before:
w : Nat
⊢ xor.eval = fun x x_1 => x ^^^ x_1
Tactic:
rfl
State after:
no goals