Theorem isArtinianRing_iff_isNilpotent_maximalIdeal

Modification history