Historical Rules · 17 November 2023
Rule 704.5b
Official source text from the 17 November 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.