Theorem spectrum_diagonal

Modification history

2025-08-05 16:35
Mathlib/LinearAlgebra/Eigenspace/Matrix.lean
feat: basic linear algebra lemmas about matrices (#27605) …
Modified spectrum_diagonalView on Github →
2024-06-27 18:55
Mathlib/LinearAlgebra/Eigenspace/Matrix.lean
feat: the spectrum of a diagonal matrix is the range of the diagonal (#13837) …
Added spectrum_diagonalView on Github →