Corollary 2

Tag 0D48, permanent. Cite it as [Bourbaki, Tag 0D48].

One has $\operatorname{dh}(A) = \operatorname{dp}_A(\kappa_A)$ .

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.

Nothing.