ZetaConj
📁 Source: PrimeNumberTheoremAnd/ZetaConj.lean
Statistics
| Metric | Count |
|---|---|
| Definitions | 0 |
| 9 | |
| Total | 9 |
(root)
Theorems
| Name | Kind | Assumes | Proves | Validates | Depends On |
|---|---|---|---|---|---|
conj_riemannZeta_conj 📖 | — | — | — | — | hasDerivAt_conj_conjconj_riemannZeta_conj_aux1 |
conj_riemannZeta_conj_aux1 📖 | — | — | — | — | — |
deriv_conj_conj 📖 | — | — | — | — | hasDerivAt_conj_conj |
deriv_riemannZeta_conj 📖 | — | — | — | — | conj_riemannZeta_conj |
hasDerivAt_conj_conj 📖 | — | — | — | — | — |
intervalIntegral_conj 📖 | — | — | — | — | — |
logDerivZeta_conj 📖 | — | — | — | — | deriv_riemannZeta_conjriemannZeta_conj |
logDerivZeta_conj' 📖 | — | — | — | — | logDerivZeta_conj |
riemannZeta_conj 📖 | — | — | — | — | conj_riemannZeta_conj |
---