Registry · Proposition IV.P49 tau-effective formalized

IV.P49 — Perturbative Expansion in alpha

Quantum corrections to tau-Maxwell are organized as a power series in alpha = (8/15)*iota_tau^4 ~ 1/137, with each term corresponding to additional virtual photon exchanges.

Book IV Part 4 Ch. 28

Dependency Graph

Depends on (2)

IV.T55 IV.D07

Lean Formalization

Module: TauLib.BookIV.Electroweak.TauMaxwell

Symbol: Tau.BookIV.Electroweak.PerturbativeExpansionInAlpha