Registry · Theorem V.T218 tau-effective formalized

V.T218 — Bi-Rotational Synchrotron Theorem

Boundary-character oscillation ratio ν_minor/ν_major = ι_τ⁻¹ ≈ 2.930, mass-independent topological invariant. Spectral index α = −(p−1)/2 is conjectural (astrophysical p).

Book V Part 5 Ch. 42

Dependency Graph

Depends on (2)

Depended on by (1)

Lean Formalization

Module: TauLib.BookV.Astrophysics.EHTReread

Symbol: Tau.BookV.Astrophysics.birotational_synchrotron_ratio_x1000