Theorem LieAlgebra.zero_rootSpace_eq_top_of_nilpotent
Modification history
2025-01-08 05:27
Mathlib/Algebra/Lie/Weights/Cartan.lean
chore(Algebra/Lie): make IsNilpotent and IsSolvable independent of scalars (#20556)
Modified LieAlgebra.zero_rootSpace_eq_top_of_nilpotentView on Github →