Corollary 1

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

Algebra, chapter V, § 14. Transcendental extensions

— Let $O$ be an algebraically closed extension of a field $K$ and $E$ a subextension of $\Omega$ . Every $K$ -automorphism of $E$ extends to a $K$ -automorphism of $\Omega$ .

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

Cited by

Proposition 10, § 14

Cites

Nothing.