Theorem Module.End.IsSemisimple.isFinitelySemisimple

Modification history