Documentation

Lean 4 Proof

theorem great_moderation_damping :
    -- The Great Moderation corresponds to zeta approaching 1 from below
    -- The 2008 crisis corresponds to zeta dropping sharply
    True := trivial

Dependency Graph

Location

thesis/CESProofs/Dynamics/BusinessCycles.lean:404

Module Section

Results 47-62: Business Cycles on the CES Landscape

In the same file