"And hence invertible" <- does every output embedding combination have an associated input ? Are they able to construct it or is this just an existence result ?
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.