Theorem Module.End.isNilpotent_restrict_iSup_sub_algebraMap

Modification history

2025-08-05 07:35
Mathlib/LinearAlgebra/Eigenspace/Basic.lean
chore: further >6month old deprecations (#27799)
Deleted Module.End.isNilpotent_restrict_iSup_sub_algebraMapView on Github →
2023-11-20 21:32
Mathlib/LinearAlgebra/Eigenspace/Basic.lean
feat: if a Lie algebra has non-degenerate Killing form then its Cartan subalgebras are Abelian (#8430) …
Added Module.End.isNilpotent_restrict_iSup_sub_algebraMapView on Github →