Theorem A from three hypotheses (explicit formula, Riemann–von Mangoldt, $\Gamma$-facts)

Initializing...

Theorem A from three hypotheses (explicit formula, Riemann–von Mangoldt, $\Gamma$-facts) · Prove2Me