Registry · Definition V.D194 tau-effective formalized

V.D194 — Domain-Wall Correction Factor

Domain-wall correction = 5/6 = 1 - (1/2)(1/3). P(conflict) = 1/3 proved; bnd_frac = 1/2 self-consistent with 6-threshold structure.

Book V Part 6 Ch. 48

Dependency Graph

Depends on (2)

Depended on by (3)

Lean Formalization

Module: TauLib.BookV.Cosmology.HeliumFraction

Symbol: DomainCorrection