Registry · Definition V.D288 tau-effective formalized

V.D288 — Near-Horizon B-Field

Near-horizon B from equipartition: B_eq ~ √(2Ṁc/R_S²). Toroidal/poloidal decomposition via B_tor/B_pol = ι_τ⁻¹ ≈ 2.93.

Book V Part 5 Ch. 42

Dependency Graph

Depends on (2)

V.D284 V.T75

Depended on by (2)

V.P155 V.T230

Lean Formalization

Module: TauLib.BookV.Astrophysics.EHTReread

Symbol: Tau.BookV.Astrophysics.NearHorizonBField