Registry · Theorem III.T50 tau-effective not_applicable

III.T50 — Global Cartesian Gluing Theorem

Local Hartogs bulk projections from individual worldline fibers glue into a globally coherent three-dimensional space when all eight structural forces hold. Cocycle condition is earned from boundary functoriality.

Book III Part 8 Ch. 75

Dependency Graph

Depends on (5)

Depended on by (4)

Lean Formalization

Module:

Symbol: