Historical Rules · 29 September 2017
Rule 717.3
Official source text from the 29 September 2017 Rules release
Because each player draws seven cards when the new game begins, any player with fewer than seven cards in his or her library will lose the game 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.”)