Theorem RingHom.StableUnderBaseChange.localizationPreserves

Modification history