Theorem: replace (Test/String/Replace.lean)

State before:
⊢ "a".replace "a" "b" = "b"
Tactic:
admit
State after:
no goals