Example (2)
Tag 04TB, permanent. Cite it as [Bourbaki, Tag 04TB].
Commutative Algebra, chapter VI, § 3. Valuations
If K is a subfield of a field K', the restriction to K of a valuation on K' is a valuation on K.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.