In this rule

Historical Rules · 29 September 2017

Rule 509.1f

Official source text from the 29 September 2017 Rules release

Permalink

Once the player has enough mana in his or her mana pool, he or she pays all costs in any order. Partial payments are not allowed.

Find this number in the current Rules