Keyword: saddle-point

Theorem Mixed Nash Equilibrium of a Matrix Game proved

Theorem Optimal Pairs Are Exactly Saddle Points proved

Definition Saddle Point formalized

Theorem Zero-Sum Nash Equilibria As Saddle Points proved