Registry · Theorem V.T220 tau-effective formalized

V.T220 — M87* Prediction Suite

M87* predictions: shadow 40.85 μas (obs 42±3, 0.4σ), T² QNM ratio 2.930, modulation periods 4.66 d / 1.59 d, spectral index −0.6 (obs −0.5 to −0.7).

Book V Part 5 Ch. 42

Dependency Graph

Depends on (1)

Depended on by (4)

Lean Formalization

Module: TauLib.BookV.Astrophysics.EHTReread

Symbol: Tau.BookV.Astrophysics.m87_prediction