In this section

Historical Rules · 3 February 2023

Rule 103.3

Official source text from the 3 February 2023 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