Registry · Proposition IV.P43 tau-effective formalized

IV.P43 — Categorical Derivation of Gauge Structure

Seven-step derivation chain from axioms K0-K6 to the full EM gauge structure: every link a theorem, no gauge postulate invoked.

Book IV Part 4 Ch. 27

Dependency Graph

Depends on (2)

IV.T37 IV.T51

Lean Formalization

Module: TauLib.BookIV.Electroweak.GaugeInvariance2

Symbol: Tau.BookIV.Electroweak.CategoricalDerivationOfGaugeStructure