In this section

Historical Rules · 17 June 2011

Rule 103.1

Official source text from the 17 June 2011 Rules release

At the start of a game, each player shuffles his or her deck so that the cards are in a random order. Each player may then shuffle or cut his or her opponents' decks. The players' decks become their libraries.

Find this number in the current Rules