Registry · Definition V.D335 conjectural formalized

V.D335 — Spin Temperature Coupling Regimes

Three spin temperature regimes: collisional coupling (z>200), dark ages (30

Book V Part 6 Ch. 48

Dependency Graph

Depends on (2)

Depended on by (1)

Lean Formalization

Module: TauLib.BookV.Cosmology.Reionization

Symbol: Tau.BookV.Cosmology.SpinTempCoupling