Game Theory.Zero Sum.Minimax

Theorem Existence of Optimal Mixed Strategies (Loomis Foundations) proved

Definition Maximin and Minimax Values formalized

Lemma Maximin is Bounded by Minimax proved

Theorem Nash Payoff Uniqueness in Zero-Sum Games proved

Theorem Von Neumann Minimax Theorem proved