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

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