In this rule

Historical Rules · 13 July 2018

Rule 800.4i

Official source text from the 13 July 2018 Rules release

Permalink

If a player leaves the game during their turn, that turn continues to its completion without an active player. If the active player would receive priority, instead the next player in turn order receives priority, or the top object on the stack resolves, or the phase or step ends, whichever is appropriate.

Find this number in the current Rules