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

State before:
x : Nat
⊢ x ^^^ x = 0
Tactic:
induction x using Nat.recBit <;> simp [*]
State after:
no goals