Registry · Theorem V.T39 tau-effective formalized

V.T39 — Schwarzschild as readout

The chart readout Phi_p applied to the torus vacuum boundary character of mass M produces jet data whose metric components coincide with the Schwarzschild metric in the exterior region r > R_S, with R_S = 2G_tau M. The Schwarzschild solution is a readout.

Book V Part 2 Ch. 16

Dependency Graph

Depends on (2)

Depended on by (5)

Lean Formalization

Module: TauLib.BookV.GravityField.TauSchwarzschild

Symbol: Tau.BookV.GravityField.SchwarzschildAsReadout