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

State before:
n : Nat
⊢ 0 &&& n = 0
Tactic:
rw [Nat.land_comm, Nat.land_zero]
State after:
no goals