In this section

Historical Rules · 17 April 2020

Rule 723.2

Official source text from the 17 April 2020 Rules release

Permalink

When reversing illegal spells and abilities, the player who had priority retains it and may take another action or pass. The player may redo the reversed action in a legal way or take any other action allowed by the rules.

Find this number in the current Rules