Def String.IsSuffix

Modification history

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