Theorem Ideal.RingHom.liftOfRightInverse_comp_apply

Modification history