Z zenodo.org Lean-verified refinement of the zeta simple-zero bound (67.251%) 2 points TakayukiKomada 2 months ago 0 comments
