Theorem Ideal.add_pow_add_pred_mem_of_pow_mem_of_commute

Modification history