Theorem: ASCII.String.length_append (ASCII/Lemmas.lean)

State before:
s t : ASCII.String
⊢ (s ++ t).length = s.length + t.length
Tactic:
simp [length, ByteArray.size_append]
State after:
no goals