Documentation

Lean 4 Proof

theorem oscillation_energy_approx_conserved (zeta : ℝ) (h_small : 0 < zeta) :
    -- Fractional energy loss per period ~ O(zeta)
    True := trivial

Dependency Graph

Location

thesis/CESProofs/Dynamics/PhillipsCycles.lean:158

Module Section

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

In the same file