Theorem Ideal.IsPrime.le_of_pow_le

Modification history