Theorem RingHom.IsStableUnderBaseChange.of_isLocalization

Modification history