Historical Rules · 13 July 2018
Rule 800.5
Official source text from the 13 July 2018 Rules release
In a multiplayer game, the first time a player takes a mulligan, they draw a new hand of as many cards as they had before. Subsequent hands decrease by one card as normal.