Theorem: MyNat.add_zero (NNG/MyNat/Addition.lean)

State before:
a : ℕ
⊢ a + 0 = a
Tactic:
rfl
State after:
no goals