Registry · Theorem IV.T36 tau-effective formalized

IV.T36 — Charge Conservation

Total electric charge is conserved in all processes on tau^3 because winding numbers are homotopy invariants preserved under continuous evolution.

Book IV Part 4 Ch. 26

Dependency Graph

Depends on (1)

IV.D84

Depended on by (1)

IV.P34

Lean Formalization

Module: TauLib.BookIV.Electroweak.PhotonMode

Symbol: Tau.BookIV.Electroweak.ChargeConservation