Defs

Statistics

Metric	Count
Definitions `IsPrefix`, `IsSuffix`, `head`, `leftpad`, `mapTokens`, `replicate`, `rightpad`	7
Theorems	0
Total	7

Name	Category	Theorems
`IsPrefix` 📖	MathDef	1 math math: `leftpad_prefix`
`IsSuffix` 📖	MathDef	1 math math: `leftpad_suffix`
`head` 📖	CompOp	—
`leftpad` 📖	CompOp	3 math math: `leftpad_prefix`, `length_leftpad`, `leftpad_suffix`
`mapTokens` 📖	CompOp	—
`replicate` 📖	CompOp	2 math math: `length_replicate`, `leftpad_prefix`
`rightpad` 📖	CompOp	—

---