Proposition 22

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

General Topology, chapter III, § 2. Subgroups, quotient groups, homomorphisms homogeneous spaces, product groups

Let G be a topological group operating continuously on a topological space X, and let H be a normal subgroup of G. Then the canonical bijection of X/G onto $(X/H)/(G/H)$ is a homeomorphism.

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

Cited by

Corollary, § 2
Corollary 3, § 4

Cites

Nothing.