Registry · Remark IV.R269 tau-effective formalized

IV.R269 — Consistency check

The five derived constants (c, h, k_e, epsilon_0, mu_0) are not independent: Maxwell's relation c^2 = 1/(epsilon_0*mu_0), the Coulomb relation k_e = 1/(4*pi*epsilon_0), and h = E/nu provide three algebraic constraints. All five independently agreeing with SI is a non-trivial consistency check.

Book IV Part 2 Ch. 13

Lean Formalization

Module: TauLib.BookIV.Calibration.DimensionalBridgeExt

Symbol: Tau.BookIV.Calibration.ConsistencyCheck