Corollary 1

Tag 05WW, permanent. Cite it as [Bourbaki, Tag 05WW].

If $u$ is an endomorphism of $E$ and $M(u)$ and $M'(u)$ its matrices with respect to the bases $(e_i)$ and $(e'_i)$ respectively, then

M'(u) = P^{-1} M(u) P.

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

Cited by

Nothing.