Registry · Proposition IV.P34 tau-effective formalized

IV.P34 — Charge of Fundamental Modes

Electron has winding n_B=-1 (charge -e), proton has n_B=+1 (charge +e), neutron has n_B=0 (charge 0); assignments are unique by topology.

Book IV Part 4 Ch. 26

Dependency Graph

Depends on (2)

Depended on by (1)

Lean Formalization

Module: TauLib.BookIV.Electroweak.PhotonMode

Symbol: Tau.BookIV.Electroweak.ChargeOfFundamentalModes