Mathlib Changelog
v4
Changelog
About
Github
Theorem
Module.End.iSup_iInf_maxGenEigenspace_eq_top_of_forall_mapsTo
Modification history
2024-10-17 08:31
Mathlib/LinearAlgebra/Eigenspace/Pi.lean
feat: generalise `LieModule.independent_genWeightSpace` to any family of compatible endomorphisms (#17654) …
Modified
Module.End.iSup_iInf_maxGenEigenspace_eq_top_of_forall_mapsTo
View on Github →
2024-10-01 22:14
Mathlib/LinearAlgebra/Eigenspace/Triangularizable.lean
feat: a family of compatible triangularisable endomorphisms are simultaneously triangularisable (#17194)
Added
Module.End.iSup_iInf_maxGenEigenspace_eq_top_of_forall_mapsTo
View on Github →