Theorem: MyNat.add_succ (IIScExperiments/NatAddMul.lean)

State before:
n m : MyNat
⊢ n + succ m = succ (n + m)
Tactic:
rfl
State after:
no goals