Keyword: optimal-strategy

Lemma Common Guarantee Gives The Value proved

Definition Epsilon-Optimal Strategy formalized

Theorem LP Optimum ↔ Game-Theoretic Optimal Strategy admitted

Theorem Optimal Pairs Are Exactly Saddle Points proved

Definition Optimal Strategy Sets formalized

Proposition Optimal Strategy Sets Are Polytopes proved

Theorem Strong Complementarity proved

Theorem Support Complementarity proved