Registry · Definition V.D102 tau-effective formalized

V.D102 — Macro EM field

Macro EM field: the chart-level readout of the B-sector defect components integrated over the base tau^1, F_mu-nu^macro(x) = R_mu(integral over tau^1 of D_B(t, x) dt), providing the macroscopic electromagnetic field tensor.

Book V Part 4 Ch. 29

Lean Formalization

Module: TauLib.BookV.FluidMacro.ChargeObstruction

Symbol: Tau.BookV.FluidMacro.MacroEmField