Registry · Theorem V.T64 tau-effective formalized

V.T64 — Heat is electromagnetism

Heat is electromagnetism: all macroscopic energy transport at enrichment layer E1 is mediated by the B-sector of the boundary holonomy algebra, with heat flux Q-dot = integral over the boundary of the pairing between H_partial^B[omega] and delta[omega].

Book V Part 3 Ch. 24

Dependency Graph

Depends on (3)

Lean Formalization

Module: TauLib.BookV.Thermodynamics.HeatEM

Symbol: Tau.BookV.Thermodynamics.HeatIsElectromagnetism