In this rule

Historical Rules · 25 August 2017

Rule 104.3c

Official source text from the 25 August 2017 Rules release

Permalink

If a player is required to draw more cards than are left in his or her library, he or she draws the remaining cards, and then 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