Keyword: matrix-game

Theorem Antisymmetric Matrix Game Has Value Zero proved

Theorem Antisymmetric Matrix Games Have Value proved

Proposition Diagonal Matrix Game Value proved

Definition Expected Payoff of a Matrix Game formalized

Example Matching Pennies formalized

Definition Matrix Game formalized

Theorem Mixed Nash Equilibrium of a Matrix Game proved

Example Three-By-Two Matrix Game Computation formalized