Proposition 18

Tag 04ZP, permanent. Cite it as [Bourbaki, Tag 04ZP].

Commutative Algebra, chapter VII, § 1. Krull domains

Let $R$ be a Krull domain and $A$ the polynomial ring $R[X]$ . The canonical homomorphism of $C(R)$ to $C(R[X])$ is bijective.

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

Cited by

Nothing.