Theorem Ideal.IsPrime.prod_mem_iff

Modification history