Registry · Remark V.R403 tau-effective not_applicable

V.R403 — Readout Temperature Numerical Catalog

T_H catalog: stellar 10 M☉ (~6×10⁻⁹ K), GW150914 (~10⁻⁹ K), Sgr A* (~1.4×10⁻¹⁴ K), M87* (~9.4×10⁻¹⁸ K), TON 618 (~1.5×10⁻¹⁸ K). All undetectably cold.

Book V Part 6 Ch. 52

Dependency Graph

Depends on (1)

Lean Formalization

Module: TauLib.BookV.Gravity.BHTopoModes

Symbol: Tau.BookV.Gravity.readout_temp_catalog