Registry · Theorem IV.T44 tau-effective formalized

IV.T44 — Complete tau-Maxwell System

All four Maxwell equations assembled: first pair from dF=0 (kinematic), second pair from d*F=*J (dynamic), no equation postulated.

Book IV Part 4 Ch. 28

Dependency Graph

Depends on (2)

IV.T42 IV.T43

Depended on by (1)

IV.T46

Lean Formalization

Module: TauLib.BookIV.Electroweak.TauMaxwell

Symbol: Tau.BookIV.Electroweak.CompleteTaumaxwellSystem