Registry · Definition V.D61 tau-effective formalized

V.D61 — Torus vacuum --- V.D01

The torus vacuum (ch16 restatement of V.D01) is the stabilized boundary character of a mature gravitational state in H_partial[omega], characterized by the minor radius index r_n(x) (fiber dimension) and the major radius index R_n(x) (base dimension).

Book V Part 2 Ch. 16

Dependency Graph

Depended on by (8)

Lean Formalization

Module: TauLib.BookV.GravityField.TauSchwarzschild

Symbol: Tau.BookV.GravityField.TorusVacuumVd01