Corollary
Tag 06IL, permanent. Cite it as [Bourbaki, Tag 06IL].
Algebra, chapter V, § 4. Algebraically closed extensions
— *Let K be a field, , a family of non-constant polynomials in and F, F' splitting extensions of . Then there exists a K-isomorphism of F onto F.
This follows from Prop. 5 and V, p. 13, Cor. of Prop. 4.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.