Registry · Theorem V.T190 tau-effective formalized

V.T190 — Baryon Density from Master Constant

ω_b h² = 0.02209 is derivable from ι_τ = 2/(π+e) via the chain: ι_τ → α_τ → η_B = α·ι_τ¹⁵·(5/6) → ρ_b = m_p·η_B·n_γ → ω_b = ρ_b/ρ_crit. Deviation −12334 ppm (−1.2%) from Planck, within 2σ. The entire baryon content of the universe follows from the master constant.

Book V Part 6 Ch. 56

Dependency Graph

Depends on (2)

Depended on by (8)

Lean Formalization

Module: TauLib.BookV.Cosmology.CMBSpectrum

Symbol: Tau.BookV.Cosmology.baryon_density_from_iota