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

Proof P3756 on R5530: Determinant of a scaled real matrix

P3756

This result is a particular case of R5068: Determinant of a scaled complex matrix. $\square$