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

State before:
n : Nat
⊢ 0 ||| n = n
Tactic:
rw [Nat.lor_comm, Nat.lor_zero]
State after:
no goals