Documentation

Lean 4 Proof

def knockoutPunishment (J : ℕ) (ρ c : ℝ) : ℝ :=
  c * (1 - knockoutRetained J ρ 1)

Dependency Graph

Used by

Location

thesis/CESProofs/CurvatureRoles/GameTheory.lean:249

Module Section

Multi-Agent CES Game Theory (Gap #14)

In the same file