Theorem Ideal.primeCompl_le_nonZeroDivisors

Modification history