Registry · Remark V.R434 tau-effective not_applicable

V.R434 — All Four from Single η_B

Complete BBN table from single η_B=(121/270)·ι_τ¹⁹. Zero free parameters. Nuclear physics standard; only cosmological input η_B and fiber suppression 1/3 differ from SBBN.

Book V Part 6 Ch. 48

Dependency Graph

Depends on (1)

Lean Formalization

Module: