In this section

Historical Rules · 3 February 2023

Rule 903.6

Official source text from the 3 February 2023 Rules release

At the start of the game, each player puts their commander from their deck face up into the command zone. Then each player shuffles the remaining cards of their deck so that the cards are in a random order. Those cards become the player’s library.

Find this number in the current Rules