Theorem isArtinianRing_iff_krullDimLE_zero

Modification history