Theorem LieModule.exists_nontrivial_weightSpace_of_isNilpotent

Modification history