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

State before:
⊢ is_zero 0 = True
Tactic:
rfl
State after:
no goals