Definition 2

Tag 06VV, permanent. Cite it as [Bourbaki, Tag 06VV].

— An extension of a field $K$ is said to be regular if it is regular as $K$ -algebra.

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

Cited by

Nothing.