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

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