Registry · Proposition V.P23 tau-effective formalized

V.P23 — Phi_p,n

Phi_{p,n} preserves the A-sector structure: it maps the weak-sector mass difference delta_A^(tau) = m_n^(tau) - m_p^(tau) to a well-defined weak-sector contribution at the TOV scale: Phi_{p,n}(delta_A^(tau)) = Xi_tau^(NT) * kappa(A,D)/kappa(D;1) * delta_A^(tau).

Book V Part 2 Ch. 19

Dependency Graph

Depends on (3)

Depended on by (3)

Lean Formalization

Module: TauLib.BookV.GravityField.CalibrationTriangle

Symbol: Tau.BookV.GravityField.Phipn