Theorem RingHom.locally_isStableUnderBaseChange

Modification history