Registry · Theorem IV.T57 tau-effective formalized

IV.T57 — Low-Energy Limit of W Exchange (Fermi Limit)

At |q^2| << M_W^2, W propagator reduces to contact interaction: G_F/sqrt(2) = g^2/(8M_W^2). Fermi's four-fermion theory (1934) is the low-energy limit of lemniscate crossing dynamics.

Book IV Part 4 Ch. 31

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookIV.Electroweak.WeakHolonomy2

Symbol: Tau.BookIV.Electroweak.LowenergyLimitOfWExchangeFermiLimit