Documentation

Lean 4 Proof

def asymmetryRatioCycles (epsilon : ℝ) : ℝ := 1 / epsilon

Dependency Graph

Used by

Location

thesis/CESProofs/Dynamics/BusinessCycles.lean:262

Module Section

Results 47-62: Business Cycles on the CES Landscape

In the same file