Historical Rules · 8 July 2017
Rule 800.5
Official source text from the 8 July 2017 Rules release
In a multiplayer game, the first time a player takes a mulligan, he or she draws a new hand of as many cards as he or she had before. Subsequent hands decrease by one card as normal.