Historical Rules · 20 January 2017
Rule 701.18e
Official source text from the 20 January 2017 Rules release
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.