ThmDex – An index of mathematical definitions, results, and conjectures.
Proof P3809 on R5621:
P3809
This result is a particular case of R4991: Complex matrix multiplied from the right by a diagonal matrix. $\square$