Documentation
Init
.
Data
.
String
.
Lemmas
Search
return to top
source
Imports
Init.Data.String.Lemmas.Basic
Init.Data.String.Lemmas.FindPos
Init.Data.String.Lemmas.Hashable
Init.Data.String.Lemmas.Intercalate
Init.Data.String.Lemmas.IsEmpty
Init.Data.String.Lemmas.Iter
Init.Data.String.Lemmas.Iterate
Init.Data.String.Lemmas.Length
Init.Data.String.Lemmas.Modify
Init.Data.String.Lemmas.Order
Init.Data.String.Lemmas.Pattern
Init.Data.String.Lemmas.Search
Init.Data.String.Lemmas.Slice
Init.Data.String.Lemmas.Splits
Init.Data.String.Lemmas.StringOrder
Init.Data.String.Lemmas.TakeDrop
Imported by
← Mathematical handbook