Mathlib v3 is deprecated. Go to Mathlib v4

Def string.starts_with

Modification history

2020-04-23 15:14
src/data/string/defs.lean
feat(data/string): add phrasings common to conventional languages (#2493) …
Added string.starts_withView on Github →