Complex conjugate


Definition 1

ProofWiki

Definition 2

$$\overline{a + ib} = a - ib$$
THEOREM    \(\forall x,y \in \mathbb{C} : \overline{xy} = \overline{x} * \overline{y}\)

Proof available

Proper supersets