Documentation

Lean 4 Proof

def triffinTime (S_max g_settle : ℝ) : ℝ := S_max / g_settle

Dependency Graph

Used by

Location

thesis/CESProofs/Applications/SettlementFeedback.lean:289

Module Section

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

In the same file