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

Dependency Graph

Depends on (1)

Depended on by (8)

Lean Formalization

Module: TauLib.BookV.Astrophysics.RotationCurves

Symbol: btfr_normalization