Theorem Module.End.isSemisimple_iff

Modification history