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

State before:
n : MyNat
⊢ mul zero n = zero
Tactic:
sorry
State after:
no goals