Theorem Module.End.isSemisimple_restrict_iff

Modification history