Theorem IsArtinianRing.isSemisimpleRing_of_isReduced

Modification history