Theorem RingHom.locally_stableUnderBaseChange

Modification history