Historical Rules · 17 April 2020
Rule 104.3b
Official source text from the 17 April 2020 Rules release
If a player’s life total is 0 or less, that player loses the game the next time a player would receive priority. (This is a state-based action. See rule 704.)