Remark 3

Tag 06F2, permanent. Cite it as [Bourbaki, Tag 06F2].

Given $\lambda, \mu$ in $A$ , we have

\operatorname{res}_{p,q}(\lambda f, \mu g) = \lambda^q \mu^p \operatorname{res}_{p,q}(f, g) .

(28)

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

Cited by

Nothing.