Registry · Remark V.R427 tau-effective not_applicable

V.R427 — D/H Anti-correlation

D/H overshoot physically expected: lower η_B → fewer baryons per photon → less deuterium burning → higher residual D/H. Anti-correlation d(ln(D/H))/d(ln η_B) ≈ −1.6 is standard BBN.

Book V Part 6 Ch. 48

Dependency Graph

Depends on (1)

Lean Formalization

Module: