Remark
Tag 0ALI, permanent. Cite it as [Bourbaki, Tag 0ALI].
Lie Groups and Lie Algebras, chapter III, § 10. The automorphism group of a Lie group
If K = Q_p, and the Lie group G is generated by a compact subset (cf. Exercise 2), assertions (i), (ii), (iii) and (vi) of Theorem 1 are still true, but not (v) (Exercise 3).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.