Riemann-von Mangoldt Definitions

Abstract

The right-half contour and its additive law are fixed.

Theorem 1.1 (Riemann-von Mangoldt Definitions).

Lean statement: D5/S3/Weil/ZetaRvm/Defs.halfContour_add

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

Source. Repository-derived.

Commentary.

The right-half contour and its additive law are fixed.

References

• Truth anchor: D5/S3/Weil/ZetaRvm/Defs.halfContour_add