Theorem Matrix.spectrum_transpose

Modification history

2026-08-13 15:55
Mathlib/LinearAlgebra/Matrix/Charpoly/Eigs.lean
feat(Matrix): spectrum and spectral radius are invariant under transpose (#42627) …
Added Matrix.spectrum_transposeView on Github →