Theorem LieAlgebra.zero_rootSpace_eq_top_of_nilpotent

Modification history