The codomain of a linear map modulo its image (also, cokernel).
The cokernel and kernel of this map are both 0. It must be an isomorphism.
8👍 7👎