In this section

Historical Rules · 22 April 2021

Rule 121.4

Official source text from the 22 April 2021 Rules release

Permalink

A player who attempts to draw a card from a library with no cards in it loses the game the next time a player would receive priority. (This is a state-based action. See rule 704.)

Find this number in the current Rules