Game Theory.Zero Sum.Continuous

Proposition Compact Mixed Versus Finite-Support Minimax admitted

Proposition Finite-Opponent Separation Minimax admitted

Theorem General Mixed Minimax Theorem admitted

Definition General Mixed Strategy Space admitted

Lemma Intersection Lemma admitted

Example Mixed Extension Pathology admitted

Proposition Monotone Decreasing Values Limit admitted

Example Monotone Family Assumption Counterexamples admitted

Proposition One-Sided Compact Convex Minimax admitted

Definition Quasi-Concavity And Semicontinuity admitted

Example Sion Boundary Counterexample admitted

Theorem Sion Minimax Theorem admitted

Example Sion-Wolfe Game Has No Mixed Value admitted