Theorem: addAndAppend (Fpil/Chap03/Sec00.lean)

State before:
⊢ 1 + 1 = 2 ∧ String.append "Str" "ing" = "String"
Tactic:
simp
State after:
no goals