In this section

Historical Rules · 1 February 2010

Rule 712.3

Official source text from the 1 February 2010 Rules release

Any rules regarding the size of a player's deck are ignored for the subgame. However, because each player draws seven cards when a game begins, any player with fewer than seven cards in his or her deck will lose the subgame when state-based actions are checked during the upkeep step of the first turn, regardless of any mulligans that player takes. (See rule 704, "State-Based Actions.")

Find this number in the current Rules