Composite Mp

def proved Curvature Roles

Documentation

Lean 4 Proof

def compositeMP (FG QE : ℝ) (FR₀ S S_crit α_FR w_FG w_QE w_FR : ℝ) : ℝ :=
  w_FG * FG + w_QE * QE + w_FR * financialRepression FR₀ S S_crit α_FR

Dependency Graph

Used by

compositeMP_continuous_S composite_mp_decreasing_S compositeMP_decreasing_phi compositeMP_decreasing_S composite_mp_continuous_S composite_mp_decreasing_phi

Location

thesis/CESProofs/Applications/SettlementFeedback.lean:511

Module Section

Paper 7: Settlement Feedback and Monetary Policy in a Mesh Economy