Proposition 2
Tag 0CSE, permanent. Cite it as [Bourbaki, Tag 0CSE].
Commutative Algebra, chapter VIII, § 7. Multiplicités
Suppose that A is local regular (§ 5, No. 1, def. 1); one has . This follows from th. 1 of § 5, No. 2.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.