Corollary
Tag 06K3, permanent. Cite it as [Bourbaki, Tag 06K3].
Algebra, chapter V, § 7. Separable algebraic extensions
— Every algebraic extension of a field of characteristic 0, or of a finite field, is separable. This follows from V, p. 7, Prop. 5.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.