Registry · Proposition V.P93 tau-effective formalized

V.P93 — No Interior Singularity

A tau-black hole has no interior singularity. The interior is a compact subset of T^2 with all boundary characters bounded (by the No-Singularity Theorem). The curvature functional R^H[chi] remains finite everywhere inside the linking class enclosure.

Book V Part 6 Ch. 50

Dependency Graph

Depends on (4)

Depended on by (2)

Lean Formalization

Module: TauLib.BookV.Cosmology.BHBirthTopology

Symbol: Tau.BookV.Cosmology.NoInteriorSingularity