Registry · Theorem IV.T07 established formalized

IV.T07 — Maxwell Relation

c² = 1/(ε₀·μ₀): proven algebraically from dimensional exponents and π-prefactors. Dimensional: ε₀+μ₀ exponents = -2×c exponents. Prefactors: (8/π³)·(π³/8) = 1. Pure structural identity, no numerical approximation.

Book IV Part 2 Ch. 13

Dependency Graph

Depends on (3)

Depended on by (1)

Lean Formalization

Module: TauLib.BookIV.Calibration.DimensionalBridge

Symbol: Tau.BookIV.Calibration.maxwell_complete