Corollary 1

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

— Every derivation of K into V extends to a derivation of L into V

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

Cited by

Nothing.