Example
Tag 0CSG, permanent. Cite it as [Bourbaki, Tag 0CSG].
Commutative Algebra, chapter VIII, § 7. Multiplicités
By definition one has where . Consequently, if A is local regular, one has . For example, if A is a discrete valuation ring, one has .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.