Brouwer proof of Nash equilibrium for a two-by-two game (source code)

= Brouwer proof of Nash equilibrium for a two-by-two game

Normalize each player's positive pure-strategy payoff improvements to define a continuous self-map of the product of their mixed-strategy simplices. At a Brouwer fixed point every positive improvement must vanish, giving a Nash equilibrium.