Theorem String.length_append

Modification history

2024-04-19 03:12
Mathlib/Data/String/Lemmas.lean
chore: bump Std (#12256)
Deleted String.length_appendView on Github →
2021-10-11 17:57
Mathlib/Data/String/Lemmas.lean
feat(List/String leftpad) (#66)
Added String.length_appendView on Github →