Registry · Remark IV.R355 tau-effective formalized

IV.R355 — Conservation versus Noether

In orthodox field theory charge conservation follows from Noether's theorem via global U(1) symmetry and a Lagrangian; in Category tau the conservation law is more primitive, arising directly from topological invariance of winding numbers without requiring a Lagrangian formulation.

Book IV Part 4 Ch. 26

Lean Formalization

Module: TauLib.BookIV.Electroweak.PhotonMode

Symbol: Tau.BookIV.Electroweak.ConservationVersusNoether