Theorem: Nat.xor_zero (Extra/Nat/Bitwise.lean)

State before:
x : Nat
⊢ x ^^^ 0 = x
Tactic:
simp [xor_def]
State after:
no goals