Registry · Proposition V.P152 conjectural not_applicable

V.P152 — RM Gradient Magnitude

M87* RM gradient: |ΔRM| ~ 10⁴–10⁶ rad/m² across shadow. The discriminating prediction is the 2-fold sign pattern, not the absolute magnitude (which depends on n_e, B_tor, R_S).

Book V Part 5 Ch. 42

Dependency Graph

Depends on (2)

Depended on by (1)

Lean Formalization

Module: TauLib.BookV.Astrophysics.EHTReread