Theorem LieModule.isNilpotent_toEndomorphism_of_isNilpotent

Modification history