ThmDex – An index of mathematical definitions, results, and conjectures.
F12659
Formulation 0
Let $z, w \in \mathbb{C}$ each be a D1207: Complex number.
Then \begin{equation} \overline{z + w} = \overline{z} + \overline{w} \end{equation}