Keyword: minimax

Proposition Compact Mixed Versus Finite-Support Minimax admitted

Theorem Existence of Optimal Mixed Strategies (Loomis Foundations) proved

Theorem General Mixed Minimax Theorem admitted

Proof plan Kakutani Fixed-Point Proof of the Minimax Theorem admitted

Proof plan LP Duality Proof Of Minimax admitted

Theorem Loomis Theorem (Positive B) proved

Definition Maximin and Minimax Values formalized

Lemma Maximin is Bounded by Minimax proved

Proof plan Minimax From Antisymmetric Games admitted

Proof plan Minimax From Deterministic Approachability admitted

Proof plan Minimax via the All-Ones Specialization of Loomis formalized

Proposition One-Sided Compact Convex Minimax admitted

Theorem Ordered-Field Minimax Statement formalized

Lemma Pointwise Bounds Are Simplex Bounds proved

Example Sion Boundary Counterexample admitted

Theorem Sion Minimax Theorem admitted

Lemma Sup-Inf Choice Function Identity staged

Example Three-Player Minimax Failure formalized

Theorem Ville Theorem admitted

Theorem Von Neumann Minimax Theorem proved