Registry · Proposition V.P149 tau-effective formalized

V.P149 — Sgr A* Horizon-Scale Variability

Sgr A* horizon-scale variability: f_{1,0} period ~4.4 min, f_{0,1} period ~1.5 min. Testable by ngEHT.

Book V Part 5 Ch. 42

Dependency Graph

Depends on (1)

Depended on by (5)

Lean Formalization

Module: TauLib.BookV.Astrophysics.EHTReread

Symbol: Tau.BookV.Astrophysics.sgra_variability