Theorem: append (Test/String/Append.lean)

State before:
⊢ "a" ++ "b" = "ab"
Tactic:
rfl
State after:
no goals