Finite game (source code)

= Finite game

A finite game has finitely many players, each with finitely many <pure strategies>.