Determined infinite game (source code)

= Determined infinite game

An <infinite game of perfect information> is determined when one of its two players has a <winning strategy in an infinite game>.