The property: $$ \int_a^b f(x) \, dx=\int_a^b f(a+b-x) \, dx $$
Derivation given in my textbook:
Let $t = a+b-x$. Then $dt = -d x$. When $x=a, t=b$ and when $x=b, t=a$. Therefore, $$ \begin{aligned} \int_a^b f(x) \, dx &= -\int_b^a f(a+b-t) \, dt \\ &= \int_a^b f(a+b-t) \, dt \\ &= \int_a^b f(a+b-x) \, dx \ \end{aligned} $$
I don't understand how in step 3 of the derivation $t$ changes to $x$ when $t = a+b-x$ was assumed in the first step. Is there some implicit conversion being done here?