Theorem Ideal.IsPrime.pow_le_iff

Modification history