Registry · Theorem V.T227 tau-effective formalized

V.T227 — RM Winding Theorem

Faraday RM winding number w_RM = 2 for T² (toroidal B-field causes two sign changes per azimuthal circuit) vs w_RM = 1 for S² (radial/dipolar field, one sign change). Topological invariant from genus(T²) = 1.

Book V Part 5 Ch. 42

Dependency Graph

Depends on (2)

Depended on by (5)

Lean Formalization

Module: TauLib.BookV.Astrophysics.EHTReread

Symbol: Tau.BookV.Astrophysics.rm_winding_theorem