> I don't think they're claiming surjectivity here.
What definition of invertible doesn't include surjectivity?
What definition of invertible doesn't include surjectivity?
The question is usually more about whether the inverse is also continuous, smooth, easy to compute....etc.