Theorem Ideal.minimalPrimes_comap_subset

Modification history