Def String.isPrefix

Modification history

2023-10-11 08:24

Mathlib/Data/String/Defs.lean

chore: bump std (#7602)

Deleted String.isPrefix View on Github →

2022-10-24 02:02

Mathlib/Data/String/Defs.lean

feat: align `init.{core, logic}` (#490) …

Modified String.isPrefix View on Github →

2021-10-11 17:57

Mathlib/Data/String/Defs.lean

feat(List/String leftpad) (#66)

Added String.isPrefix View on Github →