Let $z, w \in \mathbb{C}^{N \times 1}$ each be a D5689: Complex column matrix.
Then
\begin{equation}
z \cdot w
= \overline{w \cdot z}
\end{equation}
(i) | R5298: Complex conjugatation is an additive operation |
(ii) | R3429: Complex conjugation is a multiplicative operation |
(iii) | R2950: Complex conjugation operation is an involution |