Difference between revisions of "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.