Theorem RingHom.isIntegral_quotient_of_isIntegral

Modification history