Theorem Ideal.mem_radical_iff

Modification history