Registry · Theorem V.T229 tau-effective formalized

V.T229 — Circular Polarization Winding

Circular polarization winding number w_V = 2 for T², 1 for S². Faraday conversion coefficient cos(2χ_B) reverses sign at same azimuthal angles as B_∥ in RM integral (same toroidal geometry). Hence w_V = w_RM = 2.

Book V Part 5 Ch. 42

Dependency Graph

Depends on (2)

Depended on by (4)

Lean Formalization

Module: TauLib.BookV.Astrophysics.EHTReread

Symbol: Tau.BookV.Astrophysics.circular_winding_theorem