Registry · Proposition V.P34 tau-effective formalized

V.P34 — Radiation is B-sector transport

Radiation is B-sector transport: the radiative energy flux from a defect configuration is j_rad = kappa(B;2) rho_def^2 c = iota_tau^2 rho_def^2 c, where the B-sector self-coupling iota_tau^2 controls the emission rate.

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.RadiationIsBsectorTransport