Registry · Definition IV.D36 tau-effective formalized

IV.D36 — Vacuum Permittivity

Vacuum permittivity: ε₀ = (8/π³) · M·H·L³/Q². Coefficient 8, π⁻³, exponents (1,3,1,-2). τ-derived ε₀ ≈ 8.854 × 10⁻¹² F/m (0.00% match).

Book IV Part 2 Ch. 13

Dependency Graph

Depends on (1)

Depended on by (3)

Lean Formalization

Module: TauLib.BookIV.Calibration.DimensionalBridge

Symbol: Tau.BookIV.Calibration.eps0_formula