Inverse of Group Isomorphism is Isomorphism

Theorem
Let $\left({S, \circ}\right)$ and $\left({T, *}\right)$ be groups.

Let $\phi: \left({S, \circ}\right) \to \left({T, *}\right)$ be a mapping.

Then $\phi$ is an isomorphism iff $\phi^{-1}: \left({T, *}\right) \to \left({S, \circ}\right)$ is also an isomorphism.

Proof
A specific instance of Inverse of Algebraic Structure Isomorphism is Isomorphism.