Registry · Remark I.R40 established not_applicable

I.R40 — Pairing Density

B-dominant and C-dominant primes interleave: every B-dominant prime has infinitely many C-dominant partners within bounded gap. Connected to two-lobe lemniscate structure.

Book I Part 6 Ch. 27

Dependency Graph

Depends on (2)

Lean Formalization

Module:

Symbol: