Theorem Ideal.RingHom.injective_iff_ker_eq_bot

Modification history