Rules glossary
↑ Parent rule: 121.3 If there are no cards in a player’s library and an effect of…
121.3a The same principles apply if the player who’s making the choice is not the player who would draw the card. If the latter player has no cards in their library, the choice can be taken. If an effect says that the latter player can’t draw a card, the choice can’t be taken.
No sub-rules.