Completed-Zeta Contour Fold

Abstract

Functional-equation symmetry folds the full argument-principle contour.

Theorem 1.1 (Completed-Zeta Contour Fold).

Lean statement: D5/S3/Weil/ZetaRvm/Fold.Ncount_eq_im_halfContour

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

Source. Repository-derived.

Commentary.

Functional-equation symmetry folds the full argument-principle contour.

References

• Truth anchor: D5/S3/Weil/ZetaRvm/Fold.Ncount_eq_im_halfContour
• Dependency: D5/S3/Weil/ZetaPntBase/ZetaConj
• Dependency: D5/S3/Weil/ZetaRvm/Defs