Example 1

Tag 0CUE, permanent. Cite it as [Bourbaki, Tag 0CUE].

Commutative Algebra, chapter IX, § 1. Vecteurs de Witt

The homomorphism $\Phi_0 : W_1(A) \to A$ is an isomorphism.

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

Cited by

Nothing.

Nothing.