Theorem LieModule.zero_weightSpace_eq_top_of_nilpotent

Modification history