701.20d

If an effect would cause a player to shuffle a set of objects into a library, that library is shuffled even if there are no objects in that set.