Registry · Definition IV.D92 tau-effective formalized

IV.D92 — Electromagnetic Field Strength

The field strength tensor F_mu_nu is the curvature of the gauge connection, defined by [D_mu, D_nu] = -ieF_mu_nu.

Book IV Part 4 Ch. 27

Dependency Graph

Depends on (1)

IV.D90

Depended on by (4)

IV.P39 IV.P40 IV.T38 IV.T41

Lean Formalization

Module: TauLib.BookIV.Electroweak.GaugeInvariance

Symbol: Tau.BookIV.Electroweak.ElectromagneticFieldStrength