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