Theorem Ideal.map_le_of_le_comap

Modification history