Theorem LieModule.zero_genWeightSpace_eq_top_of_nilpotent

Modification history