Registry · Theorem V.T268 tau-effective formalized

V.T268 — Normal Hierarchy from Winding Exponent Order

Normal hierarchy is a theorem: Δpq=203/175>0 and Δpr=609/700>0 force m₁

Book V Part 7 Ch. 61

Dependency Graph

Depends on (2)

V.T189 V.D246

Depended on by (2)

V.D333 V.T297

Lean Formalization

Module: TauLib.BookV.Cosmology.NeutrinoBackground

Symbol: Tau.BookV.Cosmology.normal_hierarchy_is_theorem