Example 1

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

Given $\Lambda, \mu$ in $\Lambda$ , we have the formulae

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

\operatorname{res}_{p,1}(f, \lambda) = \lambda^p t_p, \quad \operatorname{res}_{1,q}(\mu, g) = (-1)^q \mu^q u_q,

whose proof is immediate.

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

Cited by

Nothing.

Nothing.