Inverse of Inverse of Bijection

Theorem
Let $$f: S \to T$$ be a bijection.

Then $$\left({f^{-1}}\right)^{-1} = f$$.

Proof
This is a specific example of Inverse of Inverse Relation.