Historical Rules · 29 September 2017
Rule 702.25j
Official source text from the 29 September 2017 Rules release
Phased-out permanents owned by a player who leaves the game also leave the game. This doesn’t trigger zone-change triggers. See rule 800.4.