Registry · Theorem V.T216 tau-effective formalized

V.T216 — BH Entropy Catalog

Five-entry entropy catalog from stellar (10 M☉, S~10⁷⁹ k_B) to supermassive (TON 618, S~10⁹⁸ k_B). T² excess factor πι_τ ≈ 1.073 universal.

Book V Part 6 Ch. 52

Dependency Graph

Depends on (2)

V.P25 V.P125

Depended on by (2)

V.R402 V.T226

Lean Formalization

Module: TauLib.BookV.Gravity.BHTopoModes

Symbol: Tau.BookV.Gravity.bh_entropy_catalog