Theorem Ideal.le_of_pow_le_prime

Modification history