In this section

Historical Rules · 27 April 2018

Rule 103.1

Official source text from the 27 April 2018 Rules release

At the start of a game, 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