Historical Rules · 23 April 2010
Rule 104.1
Official source text from the 23 April 2010 Rules release
A game ends immediately when a player wins or when the game is a draw.
Historical Rules · 23 April 2010
Official source text from the 23 April 2010 Rules release
A game ends immediately when a player wins or when the game is a draw.