Registry · Theorem V.T103 tau-effective formalized

V.T103 — No-Singularity Theorem

No cosmological singularity exists in Category tau: the profinite boundary holonomy algebra H_partial[omega] has bounded norm at every depth, the source term T[chi_n] is bounded, and the alpha-orbit has a first element alpha_1 with no sub-Planckian descent.

Book V Part 6 Ch. 46

Dependency Graph

Depends on (5)

Depended on by (2)

Lean Formalization

Module: TauLib.BookV.Cosmology.BigBangRegime

Symbol: Tau.BookV.Cosmology.NosingularityTheorem