Theorem isArtinianRing_iff_isFiniteLength

Modification history