Corollary

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

Lie Groups and Lie Algebras, chapter III, § 1. Lie groups

Let G be a Lie group and H and L normal Lie subgroups of G with L ⊂ H. Then H/L is a normal Lie subgroup of G/L and the canonical bijection of G/H onto (G/L)/(H/L) is a Lie group isomorphism.

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

Cited by

Nothing.

Cites

Nothing.