Defines the inverse morphism for an isomorphism (which is the only type of morphism that is invertible).
The isomorphism
Defines the inverse morphism for an isomorphism (which is the only type of morphism that is invertible).