Theorem RingHom.StableUnderBaseChange.isLocalization_map

Modification history