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

State before:
a d : ℕ
⊢ a + succ d = succ (a + d)
Tactic:
rfl
State after:
no goals