Registry · Definition V.D161 tau-effective formalized

V.D161 — Nucleosynthetic Window

The nucleosynthetic window W_nuc is the interval of refinement depths [n_nuc^open, n_nuc^close] during which light nuclei can be synthesized: deuterium survives above the open threshold, and the window closes when the expansion rate exceeds the nuclear reaction rate.

Book V Part 6 Ch. 48

Lean Formalization

Module: TauLib.BookV.Cosmology.ThresholdLadder

Symbol: Tau.BookV.Cosmology.NucleosyntheticWindow