Complete GammaFacts Assembly

Abstract

All Gamma-side fields are assembled without hypotheses.

Theorem 1.1 (Complete GammaFacts Assembly).

Lean statement: D5/S3/Weil/ZetaGamma/GammaFactsComplete.gammaFacts

Proof. Machine-checked in Lean as D5/S3/Weil/ZetaGamma/GammaFactsComplete.gammaFacts (✓ std3). ∎

Source. Repository-derived.

Commentary.

All Gamma-side fields are assembled without hypotheses.

References

• Truth anchor: D5/S3/Weil/ZetaGamma/GammaFactsComplete.gammaFacts
• Dependency: D5/S3/Weil/ZetaGamma/GammaIntMu