Theorem: contains (Test/String/Contains.lean)

State before:
⊢ "a".contains 'a' = true
Tactic:
sorry
State after:
no goals