Commit 2024-06-27 18:55 7faa8afc
View on Github →feat: the spectrum of a diagonal matrix is the range of the diagonal (#13837) We add various theorems that assert the spectrum of a diagonal matrix is the range of the diagonal viewed as a function. Co-Authored by @j-loreaux