Historical Rules · 29 September 2017
Rule 104.1
Official source text from the 29 September 2017 Rules release
A game ends immediately when a player wins, when the game is a draw, or when the game is restarted.
Historical Rules · 29 September 2017
Official source text from the 29 September 2017 Rules release
A game ends immediately when a player wins, when the game is a draw, or when the game is restarted.