Theorem RingHom.isIntegral_isStableUnderBaseChange

Modification history