LogTables
📁 Source: PrimeNumberTheoremAnd/LogTables.lean
Statistics
| Metric | Count |
|---|---|
| Definitions | 0 |
Theoremsexp_1_112_lt, log_10_gt, log_10_lt, log_11_gt, log_11_lt, log_13_gt, log_13_lt, log_17_gt, log_17_lt, log_19_gt, log_19_lt, log_23_gt, log_23_lt, log_29_gt, log_29_lt, log_2_353_gt, log_2_gt, log_2_lt, log_30_gt, log_30_lt, log_32_gt, log_32_lt, log_3_2_gt, log_3_gt, log_3_lt, log_5_gt, log_5_lt, log_7_gt, log_7_lt | 29 |
| Total | 29 |
LogTables
Theorems
| Name | Kind | Assumes | Proves | Validates | Depends On |
|---|---|---|---|---|---|
exp_1_112_lt 📖 | — | — | — | — | — |
log_10_gt 📖 | — | — | — | — | — |
log_10_lt 📖 | — | — | — | — | — |
log_11_gt 📖 | — | — | — | — | — |
log_11_lt 📖 | — | — | — | — | — |
log_13_gt 📖 | — | — | — | — | — |
log_13_lt 📖 | — | — | — | — | — |
log_17_gt 📖 | — | — | — | — | — |
log_17_lt 📖 | — | — | — | — | — |
log_19_gt 📖 | — | — | — | — | — |
log_19_lt 📖 | — | — | — | — | — |
log_23_gt 📖 | — | — | — | — | — |
log_23_lt 📖 | — | — | — | — | — |
log_29_gt 📖 | — | — | — | — | — |
log_29_lt 📖 | — | — | — | — | — |
log_2_353_gt 📖 | — | — | — | — | — |
log_2_gt 📖 | — | — | — | — | — |
log_2_lt 📖 | — | — | — | — | — |
log_30_gt 📖 | — | — | — | — | — |
log_30_lt 📖 | — | — | — | — | — |
log_32_gt 📖 | — | — | — | — | — |
log_32_lt 📖 | — | — | — | — | — |
log_3_2_gt 📖 | — | — | — | — | — |
log_3_gt 📖 | — | — | — | — | — |
log_3_lt 📖 | — | — | — | — | — |
log_5_gt 📖 | — | — | — | — | — |
log_5_lt 📖 | — | — | — | — | — |
log_7_gt 📖 | — | — | — | — | — |
log_7_lt 📖 | — | — | — | — | — |
---