Theorem isSimpleRing_isArtinianRing_iff

Modification history