Rules glossary
↑ Parent rule: 704.5 The state-based actions are as follows:
704.5b 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.
No sub-rules.