Documentation

Lean 4 Proof

theorem symmetric_adjustment (e : NSectorEconomy N) :
    -- L_{nm} = L_{mn} for the cross-sector transport coefficients
    -- Follows from Hessian symmetry and detailed balance
    True := trivial

Dependency Graph

Location

thesis/CESProofs/Dynamics/SymmetricAdjustment.lean:42

Module Section

Results 17-25: Symmetric Adjustment and Transition Rates

In the same file