Registry · Proposition V.P87 tau-effective formalized

V.P87 — LCDM Budget Translation

The Lambda-CDM budget translates to tau as: Omega_b ~ 0.05 <-> M_p/M_total ~ 0.15, Omega_DM ~ 0.27 <-> M_partial/M_total (boundary holonomy mass), Omega_Lambda ~ 0.68 <-> readout artifact (no physical field).

Book V Part 5 Ch. 44

Dependency Graph

Depends on (3)

Lean Formalization

Module: TauLib.BookV.Astrophysics.SectorExhaustion

Symbol: Tau.BookV.Astrophysics.LcdmBudgetTranslation