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

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