Rules glossary
↑ Parent rule: 104.3 There are several ways to lose the game.
104.3c If a player is required to draw more cards than are left in their library, they draw the remaining cards and then lose the game the next time a player would receive priority. (This is a state-based action. See rule 704.)
No sub-rules.