Theorem Ideal.map_mk_eq_bot_of_le

Modification history