Theorem Ideal.le_map_of_comap_le_of_surjective

Modification history