In this section

Historical Rules · 18 November 2022

Rule 103.3

Official source text from the 18 November 2022 Rules release

After the starting player has been determined and any additional steps performed, each player shuffles their deck so that the cards are in a random order. Each player may then shuffle or cut their opponents’ decks. The players’ decks become their libraries.

Find this number in the current Rules