Financial Repression

def proved Curvature Roles

Documentation

Lean 4 Proof

def financialRepression (FR₀ S S_crit α_FR : ℝ) : ℝ :=
  FR₀ * (1 - min 1 (S / S_crit)) ^ α_FR

Dependency Graph

Used by

fr_continuous compositeMP fr_zero_above_critical fr_below_critical fr_nonneg fr_decreasing

Location

thesis/CESProofs/Applications/SettlementFeedback.lean:345

Module Section

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