Theorem Ideal.IsPrime.mul_mem_iff_mem_or_mem

Modification history