Registry · Definition IV.D35 tau-effective formalized

IV.D35 — Coulomb Constant

Coulomb constant: k_e = (π²/32) · Q²/(M·H·L³). Coefficient 1/32, π², exponents (-1,-3,-1,2). τ-derived k_e ≈ 8.987 × 10⁹ N·m²/C² (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.ke_formula