Theorem IsArtinianRing.of_finite

Modification history