Theorem IsSimpleRing.isSemisimpleRing_iff_isArtinianRing

Modification history