The matrix complex conjugate $\overline{A}$ is defined pointwise. Hence, this result follows from the results

(i)	R5292: Complex conjugate of a complex eigenvalue of a complex matrix is an eigenvalue for the conjugate matrix
(ii)	R2413: Complex conjugate of real number

$\square$