Theorem Module.End.isFinitelySemisimple_sub_algebraMap_iff

Modification history