Corollary 1
Tag 0AAV, permanent. Cite it as [Bourbaki, Tag 0AAV].
Lie Groups and Lie Algebras, chapter III, § 3. Passage from a Lie group to its Lie algebra
*Suppose that K is of characteristic . Let E be a finite-dimensional vector space over K and a non-degenerate symmetric (resp. alternating) bilinear form on E. For all , let be the adjoint of u relative to . Let G be the orthogonal (resp. symplectic) group of . Then G is a Lie subgroup of and is the set of such that .
We apply Proposition 37 with and .*
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.