Registry · Theorem V.T230 tau-effective formalized

V.T230 — Magnetic Field Ratio Theorem

B_tor/B_pol = ι_τ⁻¹ ≈ 2.93 from frozen-flux + torus geometry: B ∝ 1/A, areas scale as R/r = ι_τ⁻¹. Mass-independent, zero-parameter.

Book V Part 5 Ch. 42

Dependency Graph

Depends on (2)

Depended on by (6)

Lean Formalization

Module: TauLib.BookV.Astrophysics.EHTReread

Symbol: Tau.BookV.Astrophysics.magnetic_ratio_is_iota_inv