Theorem Module.End.isFinitelySemisimple_iff

Modification history