Theorem minimalPrimes.finite_of_isNoetherianRing

Modification history