Game Theory.Zero Sum.Core

Theorem Antisymmetric Matrix Game Has Value Zero proved

Definition Duality Gap In A Matrix Game formalized

Definition Epsilon-Optimal Strategy formalized

Definition Expected Payoff of a Matrix Game formalized

Definition Matrix Game formalized

Definition Mixed Extension Of A Matrix Game formalized

Theorem Mixed Nash Equilibrium of a Matrix Game proved

Definition Mixed Strategy Simplex formalized

Theorem Optimal Pairs Are Exactly Saddle Points proved

Definition Optimal Strategy Sets formalized

Proposition Optimal Strategy Sets Are Polytopes proved

Lemma Payoff Negation in Zero-Sum Games proved

Definition Player Guarantee formalized

Definition Saddle Point formalized

Theorem Strong Complementarity proved

Theorem Support Complementarity proved

Definition Support Of A Mixed Strategy formalized

Definition Value Of A Zero-Sum Game formalized

Definition Zero-Sum Game formalized