Historical Rules · 7 February 2025
Rule 701.19h
Official source text from the 7 February 2025 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.