LogTables
📁 Source: PrimeNumberTheoremAnd/LogTables.lean
Statistics
| Metric | Count |
|---|---|
| Definitions | 0 |
| 24 | |
| Total | 24 |
LogTables
Theorems
| Name | Kind | Assumes | Proves | Validates | Depends On |
|---|---|---|---|---|---|
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_gt 📖 | — | — | — | — | — |
log_2_lt 📖 | — | — | — | — | — |
log_30_gt 📖 | — | — | — | — | — |
log_30_lt 📖 | — | — | — | — | — |
log_3_gt 📖 | — | — | — | — | — |
log_3_lt 📖 | — | — | — | — | — |
log_5_gt 📖 | — | — | — | — | — |
log_5_lt 📖 | — | — | — | — | — |
log_7_gt 📖 | — | — | — | — | — |
log_7_lt 📖 | — | — | — | — | — |
---