ThmDex – An index of mathematical definitions, results, and conjectures.

Proof P3494 on R2463: Determinant of a real identity matrix

P3494

This result is a particular case of R4106: Determinant of real diagonal matrix. $\square$