Registry · Definition IV.D99 tau-effective formalized

IV.D99 — EM Connection 1-Form

The EM connection A = A_mu dx^mu on P_EM, uniquely determined by gauge compatibility and B-sector restriction via the sigma-equivariant lift.

Book IV Part 4 Ch. 28

Dependency Graph

Depends on (2)

IV.D109 IV.T37

Lean Formalization

Module: TauLib.BookIV.Electroweak.TauMaxwell

Symbol: Tau.BookIV.Electroweak.EmConnection1form