Theorem IsArtinianRing.setOf_isPrime_finite

Modification history