Theorem RingHom.IsStableUnderBaseChange.localizationPreserves

Modification history