In this rule

Historical Rules · 3 July 2020

Rule 701.20e

Official source text from the 3 July 2020 Rules release

Permalink

If an effect causes a player to shuffle a library containing zero or one cards, abilities that trigger when a library is shuffled will still trigger.

Find this number in the current Rules