Theorem Ideal.map_le_comap_of_inv_on

Modification history