Theorem Ideal.ideal_prod_prime

Modification history