Registry · Theorem IV.T46 tau-effective formalized

IV.T46 — Coulomb's Law from tau-Maxwell

In the static limit, tau-Maxwell reduces to the Poisson equation yielding Coulomb's F = k_e * q1*q2/r^2 with k_e from the Part II calibration cascade.

Book IV Part 4 Ch. 28

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookIV.Electroweak.TauMaxwell

Symbol: Tau.BookIV.Electroweak.CoulombsLawFromTaumaxwell