BKLNW_a2_bounds
📁 Source: PrimeNumberTheoremAnd/BKLNW_a2_bounds.lean
Statistics
| Metric | Count |
|---|---|
| Definitions | 0 |
| 13 | |
| Total | 13 |
BKLNW
Theorems
| Name | Kind | Assumes | Proves | Validates | Depends On |
|---|---|---|---|---|---|
cor_5_1_rem 📖 | mathematical | table_cor_5_1 | a₂ | — | cor_5_1_rem' |
(root)
Theorems
| Name | Kind | Assumes | Proves | Validates | Depends On |
|---|---|---|---|---|---|
a2_100_mem_Icc 📖 | mathematical | — | BKLNW.f | — | — |
a2_150_mem_Icc 📖 | mathematical | — | BKLNW.f | — | — |
a2_200_mem_Icc 📖 | mathematical | — | BKLNW.f | — | — |
a2_20_mem_Icc 📖 | mathematical | — | BKLNW.f | — | — |
a2_250_mem_Icc 📖 | mathematical | — | BKLNW.f | — | — |
a2_25_mem_Icc 📖 | mathematical | — | BKLNW.f | — | — |
a2_300_mem_Icc 📖 | mathematical | — | BKLNW.f | — | — |
a2_30_mem_Icc 📖 | mathematical | — | BKLNW.f | — | — |
a2_35_mem_Icc 📖 | mathematical | — | BKLNW.f | — | — |
a2_40_mem_Icc 📖 | mathematical | — | BKLNW.f | — | — |
a2_43_mem_Icc 📖 | mathematical | — | BKLNW.f | — | — |
cor_5_1_rem' 📖 | mathematical | BKLNW.table_cor_5_1 | BKLNW.a₂ | — | a2_20_mem_Icca2_25_mem_Icca2_30_mem_Icca2_35_mem_Icca2_40_mem_Icca2_43_mem_Icca2_100_mem_Icca2_150_mem_Icca2_200_mem_Icca2_250_mem_Icca2_300_mem_Icc |
---