Documentation

Lean 4 Proof

def dollarizationThreshold (delta_S gamma_S s_mesh : ℝ) : ℝ :=
  delta_S / (gamma_S * s_mesh)

Dependency Graph

Used by

Location

thesis/CESProofs/Applications/SettlementFeedback.lean:305

Module Section

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

In the same file