Registry · Theorem III.T73 tau-effective formalized

III.T73 — Twin Density Primorial

Twin prime density positive at each primorial level k≥2 (up to depth 5).

Book III Part 10 Ch. 81

Dependency Graph

Depends on (1)

III.D105

Lean Formalization

Module: TauLib.BookIII.Spectral.TwinPrimeDeep

Symbol: twin_density_primorial_5