Registry · Corollary V.C13 tau-effective formalized

V.C13 — Baryonic Tully--Fisher from Capacity --- V.R20

The baryonic Tully-Fisher relation M_b = A v_infty^4 follows directly from the flat rotation curve theorem, with normalization A determined by G, c, and ell_tau (all functions of iota_tau and H_0), involving no dark matter parameter.

Book V Part 5 Ch. 37

Dependency Graph

Depends on (1)

Depended on by (4)

Lean Formalization

Module: TauLib.BookV.Astrophysics.RotationCurves

Symbol: Tau.BookV.Astrophysics.BaryonicTullyfisherFromCapacityVr20