Registry · Theorem V.T40 tau-effective formalized

V.T40 — The tau-Schwarzschild relation --- V.D08

For every mature torus vacuum with mass index M_n(x) and major radius index R_n(x): R_n(x) = 2 G_tau M_n(x). The relation is linear; both R and M are readouts of the single surviving scale parameter on the stabilized torus vacuum.

Book V Part 2 Ch. 16

Dependency Graph

Depends on (2)

V.T41 V.D71

Depended on by (14)

V.C12 V.C19 V.D276 V.D72 V.L4 V.L5 V.P26 V.P82 V.P83 V.P95 V.R37 V.R38 V.T273 V.T88

Lean Formalization

Module: TauLib.BookV.GravityField.TauSchwarzschild

Symbol: Tau.BookV.GravityField.TheTauschwarzschildRelationVd08