Theorem Ideal.minimalPrimes_eq_comap

Modification history