Registry · Remark IV.R274 tau-effective formalized

IV.R274 — The pi-corrected distance

The pi-corrected distance D = (2/pi)*L appears naturally in electromagnetic formulas because the Coulomb constant and permittivity/permeability carry pi-prefactors. The ratio 2/pi is the lemniscate normalization factor: D is the effective distance scale seen by a boundary character on L.

Book IV Part 2 Ch. 13

Lean Formalization

Module: TauLib.BookIV.Calibration.DimensionalBridgeExt

Symbol: Tau.BookIV.Calibration.ThePicorrectedDistance