Theorem: empty (Test/String/Empty.lean)

State before:
⊢ "" = ""
Tactic:
rfl
State after:
no goals