Example 1

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

Commutative Algebra, chapter X, § 7. Algèbres lisses

The smooth algebras over a field $k$ are the $k$ -algebras essentially of finite type and absolutely regular.

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

Cited by

Nothing.

Nothing.