Corollary 1

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

Algebra, chapter V, § 14. Transcendental extensions

— Let E and R be two extensions of a field K. Suppose that $\Omega$ is algebraically closed, of transcendence degree at least equal to that of E. Then E is K-isomorphic to a subextension of R.

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

Cited by

Corollary 2, § 14
Theorem 3, § 12

Cites

Nothing.