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

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