Rule 121.6a

Official source text from the 24 September 2021 Rules release

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.