Riemann-von Mangoldt Main Term

Abstract

The dyadic multiplicity count has its classical main term and logarithmic error.

Theorem 1.1 (Riemann-von Mangoldt Main Term).

Lean statement: D5/S3/Weil/ZetaRvm/MainTerm.rvM_main

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

Source. Repository-derived.

Commentary.

The dyadic multiplicity count has its classical main term and logarithmic error.

References

• Truth anchor: D5/S3/Weil/ZetaRvm/MainTerm.rvM_main
• Dependency: D5/S3/Weil/ZetaRvm/Backlund
• Dependency: D5/S3/Weil/ZetaRvm/Defs
• Dependency: D5/S3/Weil/ZetaRvm/Fold
• Dependency: D5/S3/Weil/ZetaRvm/GammaSide
• Dependency: D5/S3/Weil/ZetaRvm/NcountWindow