Registry · Theorem IV.T43 tau-effective formalized

IV.T43 — Inhomogeneous Maxwell Equations

The source equation d*F = *J on the EM gauge bundle yields Gauss's law div E = rho/epsilon_0 and Ampere-Maxwell law, from the B-sector variational principle.

Book IV Part 4 Ch. 28

Dependency Graph

Depends on (3)

IV.D111 IV.D113 IV.D114

Depended on by (1)

IV.T44

Lean Formalization

Module: TauLib.BookIV.Electroweak.TauMaxwell

Symbol: Tau.BookIV.Electroweak.InhomogeneousMaxwellEquations