Registry · Corollary V.P147 tau-effective skeleton

V.P147 — Lensing–Dynamical Mass Equality

Lensing mass = dynamical mass: M_lensing = M_dynamical = M_p + M_∂. Both lensing (photon deflection) and dynamical (rotation curves, velocity dispersions) observations probe the same effective metric g_∂[χ]. This is the key structural advantage over MOND, which requires the separate TeVeS theory for lensing.

Book V Part 5 Ch. 34

Dependency Graph

Depends on (1)

Lean Formalization

Module: TauLib.BookV.Astrophysics.RotationCurves

Symbol: Tau.BookV.Astrophysics.lensingDynamicalMassEquality