Theorem isFiniteLength_iff_isNoetherian_isArtinian

Modification history