Theorem Ideal.sup_pow_add_le_pow_sup_pow

Modification history