Documentation

Lean 4 Proof

def folkThreshold (J : ℕ) (ρ c : ℝ) : ℝ :=
  deviationGain J ρ c /
    (deviationGain J ρ c + knockoutPunishment J ρ c)

Dependency Graph

Used by

Location

thesis/CESProofs/CurvatureRoles/GameTheory.lean:255

Module Section

Multi-Agent CES Game Theory (Gap #14)

In the same file