Proposition 6
Tag 05WV, permanent. Cite it as [Bourbaki, Tag 05WV].
Algebra, chapter II, § 10. Matrices
Let E and F be two right A-modules, and two bases of E with elements, and two bases of with elements, the matrix of passage from to and the matrix of passage from to . For every linear mapping of into , let be the matrix of with respect to the bases and and the matrix of with respect to the bases and ; then
We may write . Formula (33) follows immediately from no. 4, Corollary to Proposition 2 when the matrix of is taken with respect to and , that of with respect to and and that of with respect to and .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.