Example

Tag 0AF0, permanent. Cite it as [Bourbaki, Tag 0AF0].

Lie Groups and Lie Algebras, chapter III, § 6. Real and complex Lie groups

Let $A$ be a complete normed unital associative algebra. Then $\exp_{A^*}$ is the exponential mapping defined in Chapter II, § 7, no. 3.

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.