ThmDex – An index of mathematical definitions, results, and conjectures.
Result R5295 on D999: Complex matrix
Complex conjugate of a product with complex matrix and a complex column matrix
Subresults
▶ R5296: Complex conjugate of a product of two complex column matrices