Documentation

Lean 4 Proof

theorem cycle_hierarchy :
    -- The four classical cycles correspond to eigenfrequencies
    -- of the multi-sector CES dynamics
    True := trivial

Dependency Graph

Location

thesis/CESProofs/Dynamics/PhillipsCycles.lean:212

Module Section

Results 63-69: Phillips Curve, Endogenous Cycles, and Oscillation Energy

In the same file