Corollary 2
Tag 0ADM, permanent. Cite it as [Bourbaki, Tag 0ADM].
Lie Groups and Lie Algebras, chapter III, § 4. Passage from Lie algebras to Lie groups
*Let be a paracompact manifold of class () and a vector field of class on . There exists a law chunk of operation of class of on such that for all , is the image under of the tangent vector 1 to at 0. Two law chunks of operation with the above property coincide on a neighbourhood of .
This is a special case of Corollary 1.*
§ 5.1
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.