Registry · Definition V.D138 tau-effective formalized

V.D138 — Photon Ring Winding Number

The photon ring winding number n is the number of half-orbits a photon completes around the photon torus before escaping to the observer. Subrings indexed by n are nested, with the n-th subring lying inside the (n-1)-th subring.

Book V Part 5 Ch. 42

Lean Formalization

Module: TauLib.BookV.Astrophysics.EHTReread

Symbol: Tau.BookV.Astrophysics.PhotonRingWindingNumber