Keyboard shortcuts

Press ← or → to navigate between chapters

Press ? to show this help

Press Esc to hide this help

Riemann-von Mangoldt Statement

Abstract

The main term and local count assemble the canonical Riemann-von Mangoldt certificate.

Theorem 1.1 (Riemann-von Mangoldt Statement).

Lean statement: D5/S3/Weil/ZetaRvm/Statement.riemannVonMangoldt

Proof. Machine-checked in Lean as D5/S3/Weil/ZetaRvm/Statement.riemannVonMangoldt (✓ std3). ∎

Source. Repository-derived.

Commentary.

The main term and local count assemble the canonical Riemann-von Mangoldt certificate.

References