Theorem Ideal.RingHom.ker_equiv

Modification history