Registry · Definition V.D198 tau-effective formalized

V.D198 — Baryogenesis Window

B-violation is structurally permitted only in the window [L_B, L_N] (depths 2-3). Below L_N, SA-i locks in and baryon number is absolutely conserved.

Book V Part 6 Ch. 48

Dependency Graph

Depends on (2)

V.D197 V.D159

Depended on by (2)

V.T170 V.T172

Lean Formalization

Module: TauLib.BookV.Cosmology.BBNBaryogenesis

Symbol: BaryogenesisWindow