Registry · Definition V.D280 tau-effective formalized

V.D280 — SMBH Prediction Catalog

Complete SMBH prediction suite structure: shadow diameter, T² correction, QNM ratio, modulation periods. Universal T² correction +2.91% and QNM ratio ι_τ⁻¹.

Book V Part 5 Ch. 42

Dependency Graph

Depends on (3)

Depended on by (2)

Lean Formalization

Module: TauLib.BookV.Astrophysics.EHTReread

Symbol: Tau.BookV.Astrophysics.SMBHPrediction