Theorem Matrix.spectrum_toEuclideanLin

Modification history

2026-08-11 12:14
Mathlib/Analysis/Matrix/Spectrum.lean
chore: delete deprecated declarations/modules from January 2026 (#42075) …
Deleted Matrix.spectrum_toEuclideanLinView on Github →
2025-08-14 03:55
Mathlib/LinearAlgebra/Matrix/Spectrum.lean
chore(LinearAlgebra/Matrix/Spectrum): result in wrong namespace (#28360) …
Added Matrix.spectrum_toEuclideanLinView on Github →