Registry · Definition IV.D297 tau-effective formalized

IV.D297 — Vacuum permeability in relational units

The vacuum permeability in the relational framework is mu_0 = (pi^3/8) * Q^2/(M*H^3*L^5). The structural identity mu_0 = 1/(epsilon_0 * c^2) follows algebraically from the relational unit definitions, expressing magnetic permeability through arena geometry.

Book IV Part 2 Ch. 13

Lean Formalization

Module: TauLib.BookIV.Calibration.DimensionalBridgeExt

Symbol: Tau.BookIV.Calibration.VacuumPermeabilityInRelationalUnits