Description: A weak version of dvcnvre19784, valid for both real and complex domains
but under the hypothesis that the inverse function is already known to
be continuous, and the image set is known to be open. A more advanced
proof can show that these conditions are unnecessary. (Contributed by
Mario Carneiro, 25-Feb-2015.) (Revised by Mario Carneiro,
8-Sep-2015.)