Theorem Ideal.height_le_iff_exists_minimalPrimes

Modification history