Commit 2024-06-26 17:55 b6ea16c9
View on Github →feat : added eigenvalues_mem_spectrum_real and supporting RCLike coercion results (#13838)
Added several RCLike to real coercion results to support the result that eigenvalues of a hermitian matrix belong to the real spectrum of that matrix, and included this result.
Co-Authored by @j-loreaux