Corollary

Tag 0BLA, permanent. Cite it as [Bourbaki, Tag 0BLA].

General Topology, chapter III, § 4. Groups operating properly on a topological space; compact ness in topological groups and spaces with operators

If we suppose in addition that $K_x = \{ e \}$ , then the point $x$ has an open neighbourhood $U$ such that the restriction to $U$ of the canonical mapping $X \to X/G$ is a homeomorphism of $U$ onto an open subset of $X/G$ .

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Nothing.