Example 2
Tag 00Q8, permanent. Cite it as [Bourbaki, Tag 00Q8].
Algebra, VIII, p. 454, Appendix 2. Determinants over a Noncommutative Field
Let be a permutation of the interval in , with signature . Let M be the matrix of the permutation (II, §10, No. 7, p. 351). The columns of the matrix M are . Applying formula (4) of VIII, p. 448, we therefore have
(22) det(M) .
Bourbaki sets the proof directly after the statement, and the corpus does not separate them, so what is above is the statement and its proof together.