Example 3
Tag 0CJZ, permanent. Cite it as [Bourbaki, Tag 0CJZ].
Commutative Algebra, chapter VIII, § 1. Dimension de Krull d’un anneau
If is a valuation ring (VI, § 1, No. 2, def. 2), its dimension is equal to the height of the valuation (VI, § 4, No. 4, prop. 5).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.