Documentation

Lean 4 Proof

theorem monetary_policy_asymmetry :
    -- Monetary tightening is more effective than easing
    -- at shifting the equilibrium, due to barrier asymmetry
    True := trivial

Dependency Graph

Location

thesis/CESProofs/Dynamics/BusinessCycles.lean:380

Module Section

Results 47-62: Business Cycles on the CES Landscape

In the same file