Registry · Theorem V.T85 tau-effective formalized

V.T85 — Flat Rotation Curve Theorem --- V.T37

For a disk galaxy with exponential surface density, the rotation velocity v_c(r) -> v_infty = (G M_b c^2 / (2 ell_tau))^{1/4} at large r, producing asymptotically flat rotation curves from the capacity gradient without dark matter halos.

Book V Part 5 Ch. 37

Dependency Graph

Depends on (3)

I.D34 V.D31 V.T37

Depended on by (23)

V.C13 V.D258 V.D259 V.D261 V.D266 V.D337 V.P199 V.P67 V.P69 V.P70 V.R371 V.T128 V.T164 V.T200 V.T201 V.T202 V.T203 V.T205 V.T206 V.T207 V.T208 V.T318 V.T319

Lean Formalization

Module: TauLib.BookV.Astrophysics.RotationCurves

Symbol: Tau.BookV.Astrophysics.FlatRotationCurveTheoremVt37