Remark
Tag 0ABA, permanent. Cite it as [Bourbaki, Tag 0ABA].
Lie Groups and Lie Algebras, chapter III, § 3. Passage from a Lie group to its Lie algebra
We apply Corollary 1 with ( a complete normable space), and the trivial representation of on . We obtain an analytic representation of on . We assume that is finite-dimensional and that is of characteristic 0. Applying Corollary 2 to Proposition 39 to , we recover part of Corollary 1 to Proposition 37.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.