Theorem Ideal.exists_comap_eq_of_mem_minimalPrimes

Modification history