Theorem Ideal.isPrime_ideal_prod_top

Modification history