Math.Linear Programming

Theorem LP Optimum ↔ Game-Theoretic Optimal Strategy admitted

Definition Player-1 LP Formulation of a Matrix Game admitted

Definition Player-2 LP Formulation of a Matrix Game admitted

Theorem Strong Complementarity For Linear Programming proved

Theorem Strong Duality For Linear Programming proved

Proof plan Zero-Sum Linear Programming Bridge admitted