Theorem exists_compositionSeries_of_isNoetherian_isArtinian

Modification history