Registry · Theorem V.T239 conjectural formalized

V.T239 — JWST Enhancement Theorem

Enhanced a₀(z)≫a₀(0) at z>10 produces deeper potential wells → faster gas collapse → higher SFE. SFE(z)/SFE(0) ~ E(z)^(1/2). At z=10: SFE enhancement ~4.5×, matching JWST-required 50–80%.

Book V Part 5 Ch. 36

Dependency Graph

Depends on (2)

Depended on by (6)

Lean Formalization

Module: TauLib.BookV.Astrophysics.GalaxyRelational

Symbol: Tau.BookV.Astrophysics.JWSTEnhancementTheorem