Theorem IsLocalization.ideal_eq_iInf_comap_map_away

Modification history