Keyword: mixed-strategy

Proposition Compact Mixed Versus Finite-Support Minimax admitted

Definition Convex Combination of Simplex Points formalized

Definition Correlated Strategy staged

Definition Expected Payoff of a Matrix Game formalized

Proposition Finite-Opponent Separation Minimax admitted

Theorem General Mixed Minimax Theorem admitted

Definition General Mixed Strategy Space admitted

Theorem Isbell Behavioral-To-Mixed Equivalence staged

Theorem Mixed Equilibrium In Compact Continuous Games staged

Definition Mixed Extension Of A Matrix Game formalized

Definition Mixed Extension Of A Strategic Game staged

Example Mixed Extension Pathology admitted

Definition Mixed Nash Equilibrium staged

Theorem Mixed Nash Equilibrium of a Matrix Game proved

Definition Mixed Strategy staged

Definition Mixed Strategy Simplex formalized

Proposition Silent One-Bullet Duel Has No Pure Value admitted

Proposition Silent Versus Noisy One-Bullet Duel Value admitted

Example Sion-Wolfe Game Has No Mixed Value admitted

Definition Support Of A Mixed Strategy formalized