Theorem Ideal.Ideal.map_eq_iff_sup_ker_eq_of_surjective

Modification history