Theorem isNoetherian_of_finite_isArtinian

Modification history