Unconditional Canonical Zeta ZeroData

Abstract

The unconditional Gamma and Riemann-von Mangoldt sources produce a fixed exhaustive zeta ZeroData presentation.

Theorem 1.1 (Unconditional Canonical Zeta ZeroData).

Lean statement: D5/S3/Weil/ZeroData/UnconditionalCanonicalZeroData.zetaZeroData_closed_chain

Proof. Machine-checked in Lean as D5/S3/Weil/ZeroData/UnconditionalCanonicalZeroData.zetaZeroData_closed_chain (✓ std3). ∎

Source. Repository-derived.

Commentary.

The unconditional Gamma and Riemann-von Mangoldt sources produce a fixed exhaustive zeta ZeroData presentation.

References

• Truth anchor: D5/S3/Weil/ZeroData/UnconditionalCanonicalZeroData.zetaZeroData_closed_chain
• Dependency: D5/S3/Weil/ZeroData/CanonicalZeroDataNonvacuityAssembly
• Dependency: D5/S3/Weil/ZetaGamma/GammaFactsComplete
• Dependency: D5/S3/Weil/ZetaRvm/Statement