Documentation

Lean 4 Proof

def stabilityThreshold (ρ : ℝ) : ℝ := (ρ - 1) / (2 * ρ)

Dependency Graph

Used by

Location

thesis/CESProofs/CurvatureRoles/GameTheory.lean:204

Module Section

Multi-Agent CES Game Theory (Gap #14)

In the same file