Example
Tag 01H1, permanent. Cite it as [Bourbaki, Tag 01H1].
Lie Groups and Lie Algebras, chapter IX, § 8. Fourier transform
The function is moderately increasing (§7, no. 5, Cor. 1 of Th. 3); for any norm on , the function is moderately increasing. For any Casimir element , the function is moderately increasing; more generally:
Bourbaki sets the proof directly after the statement, and the corpus does not separate them, so what is above is the statement and its proof together.
Cited by
Nothing.