Registry · Definition V.D75 tau-effective formalized

V.D75 — GR Tension Functional

The GR tension functional for a TOV star configuration x with mass M and ball carrier B^3 is T_n(x) = sup_{y in partial B^3} ||G_n(y)|| / (||T^mat_n(y)|| + epsilon_n), measuring the curvature-to-matter ratio at the carrier boundary.

Book V Part 2 Ch. 18

Lean Formalization

Module: TauLib.BookV.GravityField.TOVPhaseBoundary

Symbol: Tau.BookV.GravityField.GrTensionFunctional