Registry · Remark V.R390 tau-effective formalized

V.R390 — Multi-Galaxy Statistical Summary

Multi-Galaxy Statistical Summary: V.T85(Planck) is best formula at 0.067 dex RMS; V.D232(local) at 0.138 dex. BTFR slope 3.991 confirms M_b ∝ v⁴. Dominant error: baryonic mass uncertainty (factor 2–3). Two outliers: NGC 2841 (M_b likely overestimated), UGC 2259 (M_b very uncertain).

Book V Part 5 Ch. 37

Dependency Graph

Depends on (1)

Lean Formalization

Module: TauLib.BookV.Astrophysics.RotationCurves

Symbol: Tau.BookV.Astrophysics.multiGalaxySummary