In this section

Historical Rules · 5 June 2017

Rule 609.5

Official source text from the 5 June 2017 Rules release

If an effect could result in a tie, the text of the spell or ability that created the effect will specify what to do in the event of a tie. The Magic game has no default for ties.

Find this number in the current Rules