Theorem Ideal.exists_minimalPrimes_comap_eq

Modification history