Theorem Ideal.ideal_prod_prime_aux

Modification history