Theorem Ring.KrullDimLE.minimalPrimes_eq_setOf_isPrime

Modification history