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

State before:
n : MyNat
⊢ is_zero (succ n) = False
Tactic:
rfl
State after:
no goals