Theorem: Nat.zero_xor (Algdata/Data/Nat/Bits.lean)

State before:
n : Nat
⊢ 0 ^^^ n = n
Tactic:
rw [Nat.xor_comm, Nat.xor_zero]
State after:
no goals