Historical Rules · 25 September 2020
Rule 702.25k
Official source text from the 25 September 2020 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.