Theorem: MyNat.add_assoc (LeanCourse/MIL/C05_Elementary_Number_Theory/S02_Induction_and_Recursion.lean)

State before:
m n k : MyNat
⊢ add (add m n) k = add m (add n k)
Tactic:
sorry
State after:
no goals