Theorem Ideal.comap_radical

Modification history