Registry · Proposition V.P155 conjectural not_applicable

V.P155 — M87* B-Field Estimate

M87* B: B_eq ~ 1–30 G, B_tor ~ 1–28 G, B_pol ~ 0.3–10 G. EHT Paper VIII (2021): B ~ 1–30 G consistent. Discriminator is ratio B_tor/B_pol = 2.93 (not strength).

Book V Part 5 Ch. 42

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookV.Astrophysics.EHTReread