Registry · Remark V.R84 tau-effective not_applicable

V.R84 — The Birkhoff theorem in tau

The Birkhoff theorem in tau is stronger than in orthodox GR: the torus vacuum is the unique D-sector-saturated boundary character with a given mass index, following directly from the Uniqueness Theorem (ch15).

Book V Part 2 Ch. 16

Lean Formalization

Module: