Registry · Theorem IV.T47 tau-effective formalized

IV.T47 — EM Wave Equation

In the source-free Lorenz gauge, tau-Maxwell reduces to the wave equation Box A^mu = 0 with solutions propagating at speed c = LH.

Book IV Part 4 Ch. 28

Dependency Graph

Depends on (1)

IV.T55

Lean Formalization

Module: TauLib.BookIV.Electroweak.TauMaxwell

Symbol: Tau.BookIV.Electroweak.EmWaveEquation