Historical Rules · 15 February 2021
Rule 701.19h
Official source text from the 15 February 2021 Rules release
An effect may instruct a player to search a library for one or more cards more than once before instructing a player to shuffle that library. This is the same as a single instruction for that player to search that library for all those cards. The player searches that library only once.