Mappings which are global homeomorphisms (Q1819798)

Let X and Y be connected infinite-dimensional Fréchet manifolds, where Y is simply connected, and let \(f: X\to Y\) be a continuous map which is assumed to be either nonconstant and closed, or proper. Let \(P_ f\) be a closed subset of X such that at each point of \(X/P_ f\) the map f is not a local homeomorphism. Assume that \(P_ f\) is an at most countable union of compact sets and that f is open. Then f is a homeomorphism of X onto Y.