Theorem Ideal.isPrime_ideal_prod_top'

Modification history