The substitution inference rule is related to Leibniz’s Law.

Leibniz’s Law

Leibniz’s Law: If $t1=t2$ is a theorem, then so is $P[t_1/x]\iff P[t_2/x]$. Leibniz’s Law is generally referred to as the ability to substitute “equals for equals”.