Registry · Definition V.D79 tau-effective formalized

V.D79 — Calibration Triangle

The calibration triangle Delta_tau = (N, T, B) = (m_n^(tau), M_n*, M_n^(BH,min)) consists of three tau-native mass indices (neutron, TOV threshold, minimal BH) with three edge ratios Xi_tau^(NT), Xi_tau^(TB), Xi_tau^(NB) satisfying Xi_tau^(NB) = Xi_tau^(NT) * Xi_tau^(TB).

Book V Part 2 Ch. 19

Lean Formalization

Module: TauLib.BookV.GravityField.CalibrationTriangle

Symbol: Tau.BookV.GravityField.CalibrationTriangle