Corollary 2
Tag 0CXQ, permanent. Cite it as [Bourbaki, Tag 0CXQ].
Commutative Algebra, chapter IX, § 3. Corps de représentants
Let be a separated and complete local ring of characteristic . Assume that the residue field is perfect. Then there exists a unique field of representatives of , namely the set of multiplicative representatives. Cor. 2 follows immediately from th. 1 and prop. 7 of § 2, no. 4.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.