Theorem Module.End.eq_zero_of_isNilpotent_of_isFinitelySemisimple

Modification history