Theorem Ideal.IsPrime.mem_or_mem

Modification history