Let M be a finite-dimensional free A-module and u an endomorphism of M. The determinant of the endomorphism X−uˉ of the free A[X]-module M[X] is called the characteristic polynomial of u and is denoted by χu(X).
If M is of rank n, it follows from (49) that
χu(X)=j=0∑n(−1)jTr(∧j(u))Xn−j
for det(X−Yuˉ)=det(X.In+YU) and det(X−uˉ)=det(X.In−U). It is therefore seen that χu(X) is a monic polynomial of degree n, in which the coefficient of Xn−1 is −Tr(u) and the constant term is (−1)ndet(u).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.