Riemann-von Mangoldt Gamma Side

Abstract

The folded Gamma logarithmic derivative equals the mu integral.

Theorem 1.1 (Riemann-von Mangoldt Gamma Side).

Lean statement: D5/S3/Weil/ZetaRvm/GammaSide.gamma_side

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

Source. Repository-derived.

Commentary.

The folded Gamma logarithmic derivative equals the mu integral.

References

• Truth anchor: D5/S3/Weil/ZetaRvm/GammaSide.gamma_side
• Dependency: D5/S3/Weil/ZetaRvm/Defs