Registry · Theorem V.T95 tau-effective formalized

V.T95 — Shadow Shape Theorem (T^2 vs S^2)

The shadow of a T^2 coherent instance differs from a Schwarzschild (S^2) shadow in three measurable ways: inclination-dependent ellipticity, an inner shadow (visible when the torus hole is face-on), and modified photon-ring spacing from the toroidal Lyapunov exponent.

Book V Part 5 Ch. 42

Dependency Graph

Depends on (4)

Lean Formalization

Module: TauLib.BookV.Astrophysics.EHTReread

Symbol: Tau.BookV.Astrophysics.ShadowShapeTheoremT2VsS2