Theorem Ideal.map_comap_eq_self_of_equiv

Modification history