Theorem Ideal.IsPrime.pow_mem_iff_mem

Modification history