Registry · Proposition V.P67 conjectural formalized

V.P67 — Galaxy-by-Galaxy Concordance --- V.P31

The capacity mechanism predicts rotation curves in qualitative agreement with observations: high-surface-brightness spirals flatten at 2-3 R_d, low-surface-brightness galaxies show rising curves throughout. Quantitative fits require numerical solution of the capacity equation.

Book V Part 5 Ch. 37

Dependency Graph

Depends on (6)

Lean Formalization

Module: TauLib.BookV.Astrophysics.RotationCurves

Symbol: Tau.BookV.Astrophysics.GalaxybygalaxyConcordanceVp31