complex conjugation
1.
Definition
\begin{align*} \mathbb{C} \rightarrow& \mathbb{C} \\ z = a + ib \mapsto& z^* = a - ib \end{align*}
Date: nil
Author: Anton Zakrewski
Created: 2024-10-11 Fr 21:26