Theorem IsLocalRing.quotient_artinian_of_mem_minimalPrimes_of_isLocalRing

Modification history