Theorem Ideal.comap_le_iff_le_map

Modification history