ThmDex – An index of mathematical definitions, results, and conjectures.
Proof P3810 on R5622:
P3810
This result is a particular case of R4992: Complex matrix multiplied from the left by a diagonal matrix. $\square$