Registry · Proposition V.P163 conjectural not_applicable

V.P163 — SFE Enhancement Factor

SFE enhancement: ε(z)/ε(0) = Ω_m^(1/4)·(1+z)^(3/4). At z=13: enhancement ~5.4×, sufficient to produce ~10⁹ M_☉ galaxies from primordial gas clouds.

Book V Part 5 Ch. 36

Dependency Graph

Depends on (2)

Depended on by (1)

Lean Formalization

Module: TauLib.BookV.Astrophysics.GalaxyRelational