Registry · Remark IV.R358 tau-effective not_applicable

IV.R358 — The historical path

Historically, gauge invariance was postulated and a compensating field A_mu introduced to restore covariance of the derivative; in the fiber bundle framework of tau^3 the logic reverses: the bundle structure demands a connection for differentiation, and gauge invariance is inevitable.

Book IV Part 4 Ch. 27

Lean Formalization

Module: