Def String.IsPrefix

Modification history

2023-10-11 08:24
Mathlib/Data/String/Defs.lean
chore: bump std (#7602)
Added String.IsPrefixView on Github →