Theorem Module.End.isNilpotent_restrict_iSup_sub_algebraMap

Modification history

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 →