Registry · Theorem I.T05 established formalized

I.T05 — Prime Polarity Theorem

HINGE THEOREM 2: Primes carry canonical bipolar polarization via gamma/eta dominance -- global spectrum with finite (local) witnesses. Provable in ZFC.

Book I Part 6 Ch. 27

Dependency Graph

Depends on (3)

I.D19e I.T04 I.D06

Depended on by (42)

I.D103 I.D104 I.D18 I.D21 I.D25 I.D26 I.D27 I.D34 I.P23 I.R40 I.R41 I.T19 II.D18a II.D18b II.D38 II.D53 II.D54 II.D72 II.L07 II.L09 II.L10 II.P11 II.P13 II.R02 II.R27 II.R28 II.T02 II.T12 II.T13 II.T22 II.T23 II.T27 II.T28 II.T33 II.T40 II.T41 II.T42 II.T43 II.T44 II.T46 V.T44 V.T99

Lean Formalization

Module: TauLib.BookI.Polarity.Polarity

Symbol: Tau.Polarity.polarity_map