Simple zeros of the Riemann zeta function

Source: arxiv:2609.02882, doi:10.48550/arXiv.2609.02882, url:https://github.com/AxiomMath/ZetaZeros Authors: Kenny Lau Status: verified Main declarations: ZetaZeros.simple_proportion_d4 Tags: analytic-number-theory, riemann-zeta-function, critical-line, simple-zeros, pair-correlation MSC: 11M06, 11M26