Registry · Definition V.D91 tau-effective formalized

V.D91 — EM energy transport

EM energy transport: a change in the CR-tension distribution on tau^3 mediated by the B-sector of H_partial[omega], with energy Delta E_transport = integral over tau^3 of the pairing between the B-sector boundary holonomy variation and dbar_b f.

Book V Part 3 Ch. 24

Lean Formalization

Module: TauLib.BookV.Thermodynamics.HeatEM

Symbol: Tau.BookV.Thermodynamics.EmEnergyTransport