In this rule

Historical Rules · 1 June 2020

Rule 701.10b

Official source text from the 1 June 2020 Rules release

Permalink

When control of two permanents is exchanged, if those permanents are controlled by different players, each of those players simultaneously gains control of the permanent that was controlled by the other player. If, on the other hand, those permanents are controlled by the same player, the exchange effect does nothing.

Find this number in the current Rules