Registry · Theorem IV.T259 framework not_formalized

IV.T259 — Wave Equation from -Maxwell

In vacuum (J^ = 0), Theorems thm:iv-bianchi and thm:iv-tau-maxwell combine to give: equation F_ = 0

Book IV Part 3 Ch. 21

Dependency Graph

Depends on (1)