Registry · Theorem
V.T163
tau-effective
formalized
V.T163 — Baryonic Tully-Fisher Relation from V.T85
M_b = A * v_inf^4 where A = 2*ell_tau/(G*c^2) (from V.T85) or A = 1/(G*a_0) (from V.D232). Normalization A is determined by iota_tau and H_0 only, no free parameter. Lab: A_T85=28.4 (Planck), A_D232=62.2 M_sun/(km/s)^4 (local H_0). Observed A_obs~47.
Book V
Part 5
Ch. 37