Theorem Ideal.mul_add_mem_pow_succ_inj

Modification history