Documentation

Lean 4 Proof

theorem dynamic_vri (e : NSectorEconomy N) :
    -- R_{ij}(t) = -(1/T) * dC_{ij}/dt for all sectors i, j
    True := trivial

Dependency Graph

Location

thesis/CESProofs/Dynamics/FluctuationResponse.lean:93

Module Section

Results 8-16: Variance-Response Identity and Early Warning

In the same file