Theorem: lt (Test/String/Lt.lean)

State before:
⊢ "a" < "b"
Tactic:
decide
State after:
no goals