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

State before:
a : MyNat
⊢ 0 * a = 0
Tactic:
sorry
State after:
no goals