Documentation

Lean 4 Proof

theorem crisis_cascade (e : NSectorEconomy N) :
    -- When T_n crosses T*_n, the effective T_m for neighboring sectors
    -- increases due to cross-sector coupling
    True := trivial

Dependency Graph

Location

thesis/CESProofs/Dynamics/BusinessCycles.lean:219

Module Section

Results 47-62: Business Cycles on the CES Landscape

In the same file