In this rule

Historical Rules · 3 May 2019

Rule 120.6a

Official source text from the 3 May 2019 Rules release

Permalink

An effect that replaces a card draw is applied even if no cards could be drawn because there are no cards in the affected player’s library.

Find this number in the current Rules