Lemmas
📁 Source: Mathlib/Data/String/Lemmas.lean
Statistics
| Metric | Count |
|---|---|
| Definitions | 0 |
| 6 | |
| Total | 6 |
String
Theorems
| Name | Kind | Assumes | Proves | Validates | Depends On |
|---|---|---|---|---|---|
congr_append 📖 | — | — | — | — | — |
leftpad_prefix 📖 | mathematical | — | IsPrefixreplicateleftpad | — | — |
leftpad_suffix 📖 | mathematical | — | IsSuffixleftpad | — | — |
length_eq_list_length 📖 | — | — | — | — | — |
length_leftpad 📖 | mathematical | — | leftpad | — | — |
length_replicate 📖 | mathematical | — | replicate | — | — |
---