Theorem Ideal.pow_le_pow_right

Modification history