Documentation

Lean 4 Proof

def shockAmplification (e : NSectorEconomy N) (n m : Fin N) : ℝ :=
  sectorEffectiveCurvature e n * sectorEffectiveCurvature e m

Dependency Graph

Used by

Location

thesis/CESProofs/Dynamics/MultiplierCycles.lean:191

Module Section

Multiplier-Cycle Duality in a Multi-Sector Economy

In the same file