Keyword: continuous-game

Theorem General Mixed Minimax Theorem admitted

Theorem Mixed Equilibrium In Compact Continuous Games staged

Theorem Nash Existence In Compact Quasi-Concave Games staged

Theorem Noisy Duel With Multiple Bullets admitted

Proposition Noisy One-Bullet Duel Value admitted

Proposition One-Sided Compact Convex Minimax admitted

Definition Quasi-Concave Game staged

Proposition Silent One-Bullet Duel Has No Pure Value admitted

Proposition Silent Versus Noisy One-Bullet Duel Value admitted

Theorem Sion Minimax Theorem admitted

Theorem Ville Theorem admitted

Proof plan Ville Theorem By Discretization admitted