Registry · Proposition V.P92 tau-effective formalized

V.P92 — CMB Origin

The CMB is the photon readout of the last-scattering surface at the photon decoupling threshold L_gamma. In tau, the last-scattering surface is the fiber slice T^2 at depth n_gamma, and T_CMB ~ 2.725 K is the readout of the boundary character at that depth.

Book V Part 6 Ch. 48

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookV.Cosmology.ThresholdLadder

Symbol: Tau.BookV.Cosmology.CmbOrigin