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

State before:
⊢ two + two = four
Tactic:
rfl
State after:
no goals