Documentation

Lean 4 Proof

def isLocallyStable (ρ sj : ℝ) : Prop :=
  ρ * (1 - 2 * sj) - 1 < 0

Dependency Graph

Used by

Location

thesis/CESProofs/CurvatureRoles/GameTheory.lean:168

Module Section

Multi-Agent CES Game Theory (Gap #14)

In the same file