Theorem Ideal.mul_add_mem_pow_succ_unique

Modification history