Registry · Definition V.D232 tau-effective formalized

V.D232 — Milgrom Constant from tau

a_0 = c * H_0 * iota_tau / 2: connects galactic acceleration scale to cosmic expansion and master constant. With H_0=67.4: a_0=1.118e-10 m/s^2 (-6.9% from MOND). With H_0=73.0 (local): a_0=1.211e-10 m/s^2 (+0.9% from MOND). Best formula for Milgrom constant from tau.

Book V Part 5 Ch. 37

Dependency Graph

Depended on by (16)

Lean Formalization

Module: TauLib.BookV.Astrophysics.RotationCurves

Symbol: milgromConstantTau