Example
Tag 0CY4, permanent. Cite it as [Bourbaki, Tag 0CY4].
Commutative Algebra, chapter IX, § 4. Fermeture intégrale d'un anneau local complet
Every finitely generated integral algebra over a field is a Japanese ring (V, § 3, No. 2, th. 2).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.