Historical Rules · 30 September 2016
Rule 702.25j
Official source text from the 30 September 2016 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.