Theorem Module.End.isFinitelySemisimple_iff_isSemisimple

Modification history