Theorem Ideal.comap_minimalPrimes_eq_of_surjective

Modification history