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

State before:
m n : Nat
⊢ (m ^^^ m &&& n) &&& (n ^^^ m &&& n) = 0
Tactic:
simp [Nat.land_assoc m n n, ←Nat.land_assoc m m n]
State after:
no goals