Registry · Proposition V.P70 tau-effective formalized

V.P70 — RAR from Capacity Gradient --- V.P34

The radial acceleration relation g_obs = g_N / (1 - exp(-sqrt(g_N/a_0))) follows from the capacity gradient mechanism: g_obs = g_N + g_cap, with tight scatter (~0.13 dex) reflecting the universality of the capacity equation across 153 galaxies.

Book V Part 5 Ch. 37

Dependency Graph

Depends on (6)

Lean Formalization

Module: TauLib.BookV.Astrophysics.RotationCurves

Symbol: Tau.BookV.Astrophysics.RarFromCapacityGradientVp34