Registry · Theorem V.T109 tau-effective formalized

V.T109 — BH Threshold Theorem

A black hole forms if and only if the gravitational tension at some region U exceeds the spherical capacity: G(U) > C_sph. At the chart level, this reduces to the Schwarzschild criterion. The theorem gives a necessary and sufficient topological condition for BH formation.

Book V Part 6 Ch. 50

Dependency Graph

Depends on (3)

Depended on by (3)

Lean Formalization

Module: TauLib.BookV.Cosmology.BHBirthTopology

Symbol: Tau.BookV.Cosmology.BhThresholdTheorem