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

State before:
n : MyNat
⊢ n + 0 = n
Tactic:
rfl
State after:
no goals