Example 5
Tag 0CK1, permanent. Cite it as [Bourbaki, Tag 0CK1].
Commutative Algebra, chapter VIII, § 1. Dimension de Krull d’un anneau
Let be a complex analytic variety. If is of complex dimension at a point of , the local ring of germs at of analytic functions on is of dimension . \*
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.