Documentation

Lean 4 Proof

theorem corner_stable_substitutes {ρ : ℝ} (hρ : 1 < ρ) :
    isLocallyStable ρ 1 := by
  unfold isLocallyStable; nlinarith

Dependency Graph

Location

thesis/CESProofs/CurvatureRoles/GameTheory.lean:232

Module Section

Multi-Agent CES Game Theory (Gap #14)

In the same file