Remark 2
Tag 0D92, permanent. Cite it as [Bourbaki, Tag 0D92].
Commutative Algebra, chapter X, § 7. Algèbres lisses
We shall see below (cor. 2 of th. 2 of No. 5) that a field extension which is formally smooth is absolutely regular, hence separable (§ 6, No. 4, example 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.