Theorem LieModule.isNilpotent_toEnd_of_isNilpotent

Modification history