Registry · Theorem IV.T45 tau-effective formalized

IV.T45 — Source-Defect Correspondence

Every orthodox EM source has a tau-defect interpretation: point charge = localized breathing mode, current = defect drift, displacement current = vacuum polarization of T^2 breathing.

Book IV Part 4 Ch. 28

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookIV.Electroweak.TauMaxwell

Symbol: Tau.BookIV.Electroweak.SourcedefectCorrespondence