Theorem Ideal.map_comap_map

Modification history