Registry · Definition IV.D100 tau-effective formalized

IV.D100 — Electromagnetic Field Tensor

The electromagnetic field tensor (Faraday 2-form) is the curvature F = dA of the EM connection, with components F_mu_nu = partial_mu A_nu - partial_nu A_mu.

Book IV Part 4 Ch. 28

Dependency Graph

Depends on (1)

IV.D110

Depended on by (1)

IV.R41

Lean Formalization

Module: TauLib.BookIV.Electroweak.TauMaxwell

Symbol: Tau.BookIV.Electroweak.ElectromagneticFieldTensor