Theorem Ideal.exists_mul_add_mem_pow_succ

Modification history