Theorem Ring.KrullDimLE.mem_minimalPrimes_iff_le_of_isPrime

Modification history