Theorem RingHom.isIntegral_stableUnderBaseChange

Modification history