Remark 1
Tag 0AEF, permanent. Cite it as [Bourbaki, Tag 0AEF].
Lie Groups and Lie Algebras, chapter III, § 6. Real and complex Lie groups
Let H be an integral subgroup of G. Let Y be the left foliation of G associated with L(H). If , let be given the manifold structure derived from that on H by . By Differentiable and Analytic Manifolds, R, 9.3.2, the canonical injection of into Y is a morphism. This morphism is étale. Hence the maximal connected leaves of Y are the left cosets modulo H.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Cites
Nothing.