Adding zero on the right changes nothing

Exercise · add_zero_right

Adding zero on the right changes nothing: $n + 0 = n$ .

Formal statement · Lean 4.lean

theorem add_zero_right (n : Nat) : n + 0 = n := by
  sorry

Proof. sorry

Nobody has tried yet.