Theorem Matrix.iSup_eigenspace_toLin'_diagonal_eq_top

Modification history

2025-08-05 16:35
Mathlib/LinearAlgebra/Eigenspace/Matrix.lean
feat: basic linear algebra lemmas about matrices (#27605) …
Added Matrix.iSup_eigenspace_toLin'_diagonal_eq_topView on Github →