Theorem Ideal.RingHom.eq_liftOfRightInverse

Modification history