Theorem LieModule.isNilpotent_toEndomorphism_weightSpace_zero

Modification history