Registry · Proposition IV.P59 tau-effective formalized

IV.P59 — W as Crossing Process

The W boson is the crossing amplitude at the lemniscate junction x_0: W- mediates L+ to L- (nu_e to e-, u to d), W+ the reverse. Virtual W at E << M_W is junction crossing without independent W excitation.

Book IV Part 4 Ch. 31

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookIV.Electroweak.WeakHolonomy

Symbol: Tau.BookIV.Electroweak.WAsCrossingProcess