Theorem Ideal.mem_radical_of_pow_mem

Modification history