- Ofermeture du résidu
- Csous H3.A et H3.B, essentiellement équivalent à RH
- Dlemme local de symétrie miroir prouvé (GlobalInvariance.lean)
Ce que cela montre
un objectif unique, bien découpé ; quatre routes documentées.
Ce que cela ne prouve pas
RH.
Risque de mauvaise lecture : croire l’Identity Theorem suffisant seul (les zéros de ζ s’accumulent à l’infini).