Theorem IsArtinianRing.maximal_ideals_finite

Modification history