Settlement R0

def proved Curvature Roles

Documentation

Lean 4 Proof

def settlementR0 (e : SettlementEconomy) : ℝ :=
  (e.cross_phi_S * e.cross_S_phi) / (e.self_phi * e.self_S)

Dependency Graph

Used by

settlementR0Friction_eq transition_iff_det_sign cbdc_acceleration cbdc_triggers_bifurcation settlementR0_friction_eq settlementR0_friction_one settlementR0_pos settlementR0Friction_one

Location

thesis/CESProofs/Applications/SettlementFeedback.lean:90

Module Section

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