Complex conjugate of argument of error function

Theorem: The following formula holds: $$\mathrm{erf}(\overline{z}) = \overline{\mathrm{erf}}(z),$$ where $\mathrm{erf}$ denotes the error function and $\overline{z}$ denotes the complex conjugate.

Proof: █