Registry · Proposition V.P142 tau-effective formalized

V.P142 — RAR Quantitative Prediction

RAR Quantitative Prediction: mu_tau = x/sqrt(1+x^2) applied to 12-galaxy sample (72 data points). Single universal a_0 governs all galaxies from dwarfs (DDO 154) to giants (NGC 2841). No free halo parameters. Scope conjectural pending a_0 choice (bare vs dressed) resolution.

Book V Part 5 Ch. 37

Dependency Graph

Depends on (2)

V.T202 V.D232

Depended on by (1)

V.P70

Lean Formalization

Module: TauLib.BookV.Astrophysics.RotationCurves

Symbol: Tau.BookV.Astrophysics.rar_quantitative_prediction