Registry · Definition III.D96 tau-effective formalized

III.D96 — Twin Prime Distribution

Twin prime distribution: count of pairs (p, p+2) with both prime. Positive density at each primorial level. At least 5 twin pairs below 30: (3,5),(5,7),(11,13),(17,19),(29,31).

Book III Part 10 Ch. 81

Dependency Graph

Depends on (1)

Depended on by (2)

Lean Formalization

Module: TauLib.BookIII.Spectral.AdditiveConjectures

Symbol: twin_prime_count