Registry · Theorem IV.T37 tau-effective formalized

IV.T37 — Gauge Invariance Kernel Theorem

Gauge invariance is a structural theorem: P_EM admits a connection, physics is trivialization-independent, D_mu is unique, and CR-compatibility + K0-K6 select a unique equivalence class.

Book IV Part 4 Ch. 27

Dependency Graph

Depends on (4)

IV.D85 IV.D89 IV.D90 IV.T38

Depended on by (4)

IV.D99 IV.P43 IV.R25 IV.T39

Lean Formalization

Module: TauLib.BookIV.Electroweak.GaugeInvariance

Symbol: Tau.BookIV.Electroweak.GaugeInvarianceKernelTheorem