Theorem RingHom.finiteType_isStableUnderBaseChange

Modification history