Registry · Remark IV.R25 tau-effective formalized

IV.R25 — Gauge Invariance Is Geometric Not Dynamic

Gauge invariance is not a symmetry relating distinct configurations but a redundancy of description from using local coordinates on a nontrivial fiber bundle.

Book IV Part 4 Ch. 27

Dependency Graph

Depends on (1)

Lean Formalization

Module: TauLib.BookIV.Electroweak.GaugeInvariance2

Symbol: Tau.BookIV.Electroweak.GaugeInvariance2IsGeometricNotDynamic