Winning strategy in an infinite game (source code)

= Winning strategy in an infinite game

A strategy is winning when every play that follows it is won by its player.