Historical Rules · 13 July 2018
Rule 800.4m
Official source text from the 13 July 2018 Rules release
When a player leaves the game, objects that player owns in the ante zone do not leave the game. This is an exception to rule 800.4a. See rule 407, “Ante.”