Theorem: MyNat.easy2 (IIScExperiments/Solutions/NatAddMulSolutions.lean)

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