Registry · Proposition IV.P36 tau-effective formalized

IV.P36 — Photon Coupling Strength

The emission/absorption amplitude for a photon by a charged mode on tau^3 is proportional to sqrt(alpha) ~ sqrt((8/15)*iota_tau^4) ~ 0.0854.

Book IV Part 4 Ch. 26

Dependency Graph

Depends on (2)

IV.D82 IV.D07

Lean Formalization

Module: TauLib.BookIV.Electroweak.PhotonMode

Symbol: Tau.BookIV.Electroweak.PhotonCouplingStrength