Digits
📁 Source: Batteries/Data/Nat/Digits.lean
Statistics
| Metric | Count |
|---|---|
| Definitions | 0 |
| 5 | |
| Total | 5 |
Nat
Theorems
| Name | Kind | Assumes | Proves | Validates | Depends On |
|---|---|---|---|---|---|
isDigit_digitChar 📖 | — | — | — | — | — |
isDigit_of_mem_toDigits 📖 | — | — | — | — | — |
toDigits_append_toDigits 📖 | — | — | — | — | — |
toDigits_of_lt_base 📖 | — | — | — | — | — |
toDigits_zero 📖 | — | — | — | — | toDigits_of_lt_base |
---