Theorem LieModule.zero_genWeightSpace_eq_top_of_nilpotent'

Modification history