Theorem Ideal.map_eq_top_iff_of_ker_le

Modification history