Theorem LieModule.isNilpotent_toEndomorphism_of_isNilpotent₂

Modification history