Registry · Definition IV.D37 tau-effective formalized

IV.D37 — Vacuum Permeability

Vacuum permeability: μ₀ = (π³/8) · Q²/(M·H³·L⁵). Coefficient 1/8, π³, exponents (-1,-5,-3,2). τ-derived μ₀ ≈ 1.257 × 10⁻⁶ H/m (0.00% match).

Book IV Part 2 Ch. 13

Dependency Graph

Depends on (1)

Depended on by (2)

Lean Formalization

Module: TauLib.BookIV.Calibration.DimensionalBridge

Symbol: Tau.BookIV.Calibration.mu0_formula