Registry · Proposition V.P36 tau-effective formalized

V.P36 — Convective transport is B-sector displacement

Convective transport is B-sector displacement: convective energy transport is the coherent displacement of the defect-functional profile driven by the B-sector pressure gradient, with flux q_conv = kappa(B;2) v dot nabla delta[omega].

Book V Part 3 Ch. 24

Dependency Graph

Depends on (2)

Depended on by (1)

Lean Formalization

Module: TauLib.BookV.Thermodynamics.HeatEM

Symbol: Tau.BookV.Thermodynamics.ConvectiveTransportIsBsectorDisplacement