The inverse of an isomorphism is an isomorphism.

Created almost 9 years ago