Compact injective immersion is an embedding

An injective immersion from a compact smooth manifold into a Hausdorff smooth manifold is a smooth embedding. Indeed, it is a continuous bijection onto its image, and compactness makes its inverse continuous.