In this rule

Historical Rules · 16 June 2023

Rule 704.5b

Official source text from the 16 June 2023 Rules release

If a player attempted to draw a card from a library with no cards in it since the last time state-based actions were checked, that player loses the game.

Find this number in the current Rules