Theorem: MyNat.add_add_add (IIScExperiments/Solutions/NatAddMulSolutions.lean)

State before:
a b c d : MyNat
⊢ a + b + (c + d) = a + c + (b + d)
Tactic:
sorry
State after:
no goals