Registry · Theorem V.T111 tau-effective formalized

V.T111 — Necessary Bipolarity

Every black hole in Category tau is bipolar; unipolar black holes (with chi_BH^+ = 0 or chi_BH^- = 0) do not exist. This follows from the non-trivial linking class requiring both components ab != 0, which forces coupling to both lobes of the lemniscate boundary.

Book V Part 6 Ch. 51

Dependency Graph

Depends on (5)

Lean Formalization

Module: TauLib.BookV.Cosmology.BHBipolarFusion

Symbol: Tau.BookV.Cosmology.NecessaryBipolarity