Definition 2

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

— A polynomial $f \in K[X]$ is said to be separable if it is non-zero and satisfies the equivalent conditions a), b), c), d) and e) of Prop. 3.

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

Cited by

Nothing.