Remark 3
Tag 06SK, permanent. Cite it as [Bourbaki, Tag 06SK].
Algebra, V, p. 112, § 14. Transcendental extensions
It is clear that if E is algebraically disjoint from over K, when E and F are considered as subextensions of L, the same is true when they are considered as subextensions of and conversely.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.