Theorem IsArtinianRing.subtype_isMaximal_finite

Modification history